server/tripe-admin.5.in: Document `-priv' option to ADD command.
[tripe] / py /
drwxr-xr-x   ..
-rw-r--r-- 1559 Makefile.am
-rw-r--r-- 6592 rmcr.py
-rw-r--r-- 42592 tripe.py.in