switched monkeysphere-ssh-proxycommand to #!/bin/bash, as it has become more complex.
[monkeysphere.git] / src /
drwxr-xr-x   ..
-rw-r--r-- 22711 common
drwxr-xr-x - keytrans
-rwxr-xr-x 11284 monkeysphere
-rwxr-xr-x 27511 monkeysphere-server
-rwxr-xr-x 2715 monkeysphere-ssh-proxycommand
-rwxr-xr-x 4069 seckey2sshagent