Add 'remove_userid' function, inverse of 'update_userids'.
[monkeysphere.git] / src /
drwxr-xr-x   ..
-rw-r--r-- 13108 common
drwxr-xr-x - keytrans
-rwxr-xr-x 5881 monkeysphere
-rwxr-xr-x 5926 monkeysphere-server
-rwxr-xr-x 694 monkeysphere-ssh-proxycommand