server/tripe.c: Be more clever about when to switch error output.
[tripe] / common / defs.man
2018-06-14 Mark WoodingUpgrade licence to GPLv3+.
2009-01-01 Mark WoodingBuild: Fix construction of manual pages.