Use GTK color picker instead of R, G, B and D buttons
[xboard.git] / winboard / help / winboard
2009-09-01 H.G. Mullernew help files for windows