]> git.sesse.net Git - remoteglot/commitdiff
Get rid of some cruft (pv_uci and sort_key), and rename pv_pretty/pretty_pv to just pv.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 22 Mar 2016 22:48:32 +0000 (23:48 +0100)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 22 Mar 2016 22:48:32 +0000 (23:48 +0100)

No differences found