chiark / gitweb /
server/tripe-admin.5.in: Document `-priv' option to ADD command.