Rename `common/libtripe.a' to `.../libcommon.a'.
[tripe] / common / defs.man
2018-06-14 Mark WoodingUpgrade licence to GPLv3+.
2009-01-01 Mark WoodingBuild: Fix construction of manual pages.