Finally get rid of that highly non-standard use of SIGINT.
[gnushogi.git] / ChangeLog.old
2013-10-08 Yann DirsonStart to fill NEWS, rotate pre-git logs to ChangeLog...