chiark / gitweb /
server/tripe.8.in: Fix the reference for trace options.