chiark / gitweb /
server/tripe.8.in: Fix the reference for trace options.
authorMark Wooding <mdw@distorted.org.uk>
Mon, 20 Sep 2021 23:34:41 +0000 (00:34 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Mon, 20 Sep 2021 23:35:03 +0000 (00:35 +0100)
commit97e1aa23bec8e780de7f7afa962fd66f143736d8
tree8ead626c1c4120f27d9251ba076dc65a3deab5e9
parent534d264945c6a0c9d1d4d6fe0f124042e75aa900
server/tripe.8.in: Fix the reference for trace options.
server/tripe.8.in