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)
commite29e4043c66b7b187d48e73e73895a2ce62949d4
treebe3d4df9573eeed35f966c3dd3ef5982936e9d04
parent9adc7fcb0912ea7fd3ec11f179107b401f91a247
Get rid of some cruft (pv_uci and sort_key), and rename pv_pretty/pretty_pv to just pv.
remoteglot.pl
server/hash-lookup.js
www/js/remoteglot.js