chiark / gitweb /
server/admin.c: Remove spurious `ping' in usage message.