chiark / gitweb /
remove -pedantic
[sgt-puzzles.git] / mkmanpages.pl
2017-09-24 Ian JacksonMerge remote-tracking branch 'upstream/master' into...
2017-09-24 Ian Jacksondeclare ff Merge commit '7cae89f' into HEAD
2017-01-17 Ben Hutchings_make-more-docs