chiark / gitweb /
server/tripe-admin.5.in: Remove spurious punctuation.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 24 May 2014 13:00:03 +0000 (14:00 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 20 Jul 2014 00:42:30 +0000 (01:42 +0100)
commit494a7ac04de2a38bf6aade234602f831be314c55
treec39e97d84f9e884c2d64b575c4057b2b857e807f
parent77955de279848d47f58d019cba9d72d9971f846a
server/tripe-admin.5.in: Remove spurious punctuation.
server/tripe-admin.5.in