proposed patch for issue #660, to properly specify host and port number in known_host...
[monkeysphere.git] / src / share /
drwxr-xr-x   ..
-rw-r--r-- 28694 common
-rw-r--r-- 672 defaultenv
-rwxr-xr-x 21558 keytrans
drwxr-xr-x - m
drwxr-xr-x - ma
drwxr-xr-x - mh