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