Fix of ancient WB bug: test integer option values for validity
[xboard.git] / history.c
2010-01-30 H.G. MullerRefactoring of move-history code