Fix of ancient WinBoard bug: check value of int options
[xboard.git] / bitmaps / a72s.bm
2009-06-27 H.G. Mullerupdated bitmaps files
2009-05-02 H.G. Mullerchanges from H.G. Muller; version 4.3.14 v4.3.14