chiark / gitweb /
server/tripe.8.in: Fix misformatting.