Get rid of Makefile.profile, document flags to use in README.maint instead.
[gnushogi.git] / ChangeLog.old
2013-10-08 Yann DirsonStart to fill NEWS, rotate pre-git logs to ChangeLog...