Fix of ancient WinBoard bug: check value of int options
[xboard.git] / bitmaps / d58s.bm
2009-06-27 H.G. Mullerupdated bitmaps files