small tweak to man page, and fix some alt port handling in proxy command.
[monkeysphere.git] / src /
drwxr-xr-x   ..
-rw-r--r-- 15467 common
drwxr-xr-x - keytrans
-rwxr-xr-x 5531 monkeysphere
-rwxr-xr-x 12584 monkeysphere-server
-rwxr-xr-x 2041 monkeysphere-ssh-proxycommand
-rwxr-xr-x 1109 seckey2sshagent