chiark / gitweb /
server/admin.c: Remove spurious `ping' in usage message.
[tripe] / debian / pkstream.copyright
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+.
2003-11-29 mdwDebianization. 1.0.0pre6