do not try to add to known_hosts if HASH_KNOWN_HOSTS is true but ssh-keygen is not...
[monkeysphere.git] / src /
drwxr-xr-x   ..
-rwxr-xr-x 8512 monkeysphere
-rwxr-xr-x 6347 monkeysphere-authentication
-rwxr-xr-x 12606 monkeysphere-host
lrwxrwxrwx 14 openpgp2ssh -> share/keytrans
lrwxrwxrwx 14 pem2openpgp -> share/keytrans
drwxr-xr-x - share
drwxr-xr-x - transitions