Regularly check for user input when searching, to have a chance to catch EOF from...
[gnushogi.git] / ChangeLog.old
2013-10-08 Yann DirsonStart to fill NEWS, rotate pre-git logs to ChangeLog...