Conditionally replace 'other-window' fonts on sizing
[xboard.git] / winboard / help / winboard
2009-09-01 H.G. Mullernew help files for windows