chiark / gitweb /
server/tripe-admin.5.in: Remove spurious punctuation.