server/admin.c: Remove spurious `ping' in usage message.
[tripe] / server / tripe-service.7.in
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 Wooding(manpages): Fix inclusion of `defs.man'.
2018-06-14 Mark WoodingUpgrade licence to GPLv3+.
2016-04-30 Mark Woodingtripe-service.7: Move manual page to server/.