chiark / gitweb /
Upgrade licence to GPLv3+.
[tripe] / common / defs.man
2018-06-14 Mark WoodingUpgrade licence to GPLv3+.
2009-01-01 Mark WoodingBuild: Fix construction of manual pages.