Add Ctrl-D as alternative to Ctrl+Alt+F12 in WinBoard
[xboard.git] / TODO
2009-09-08 Arun Persaudfixed a few more small bugs reported by Stanislav Brabec