chiark / gitweb /
Merge branch '1.0.0pre19.x'
[tripe] / maint-utils /
2020-05-25 Mark WoodingMerge branch '1.0.0pre19.x' master
2019-09-22 Mark WoodingMerge remote-tracking branch 'origin/1.0.0pre19.x'
2018-06-14 Mark WoodingUpgrade licence to GPLv3+.
2009-01-01 Mark WoodingBuild: Fix construction of manual pages.
2009-01-01 Mark Woodingmaint-utils/keysubst: A monstrously unpleasant sed...
2008-12-30 Mark WoodingManpages: Fix substitutions.
2008-12-13 Mark Woodingmaint-utils: Handy script to make the `bleeding' branch.
2008-12-08 Mark Woodingserver: Test script.
2008-04-05 Mark WoodingOverhaul manual pages.