Make non-existing opton in settings file non-fatal
[xboard.git] / xboard.png
xboard.png