chiark / gitweb /
common/defs.man: Set the font for the running headers as well as the body.
[tripe] / common / defs.man
2021-09-20 Mark Woodingcommon/defs.man: Set the font for the running headers...
2020-05-25 Mark WoodingMerge branch '1.0.0pre19.x'
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.