chiark / gitweb /
server/: Post-merge fixup.
[tripe] / maint-utils / manfix
2018-06-14 Mark WoodingUpgrade licence to GPLv3+.
2009-01-01 Mark WoodingBuild: Fix construction of manual pages.
2008-12-30 Mark WoodingManpages: Fix substitutions.
2008-04-05 Mark WoodingOverhaul manual pages.