projects / monkeysphere.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
proposed fix to marginal ui in case where host key not retrieved (should fix 1141)
[monkeysphere.git] / src /
drwxr-xr-x   ..
-rwxr-xr-x 7976 monkeysphere blob | history | raw
-rwxr-xr-x 6247 monkeysphere-authentication blob | history | raw
-rwxr-xr-x 8545 monkeysphere-host blob | history | raw
lrwxrwxrwx 14 openpgp2ssh -> share/keytrans blob | history | raw
lrwxrwxrwx 14 pem2openpgp -> share/keytrans blob | history | raw
drwxr-xr-x - share tree | history
drwxr-xr-x - transitions tree | history
Bernie's friendly fork of http://web.monkeysphere.info/