Fix of ancient WinBoard bug: check value of int options
[xboard.git] / po / xboard.pot
2003-12-25 uid69079Additions required by xboard i18n