Make -pgnNumberTag option setable from menu
[xboard.git] / winboard / help / winboard
2009-09-01 H.G. Mullernew help files for windows