Added server config variable to specify user authorized_user_ids file,
[monkeysphere.git] / man /
drwxr-xr-x   ..
drwxr-xr-x - man1
drwxr-xr-x - man8