chiark / gitweb /
server/tripe.h: Fix commentary markup.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 22 Aug 2017 23:08:54 +0000 (00:08 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 14 Jun 2018 09:34:25 +0000 (10:34 +0100)
commitf11657770195dcd1114d629902033d3f79985c06
tree597ee142faee894de909acf811910a798933ebe2
parentf492fa0b0f1081ddf8c9aa92aad24f803ed02d86
server/tripe.h: Fix commentary markup.
server/tripe.h