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