proposed patch for issue #660, to properly specify host and port number in known_host...
[monkeysphere.git] / packaging /
drwxr-xr-x   ..
drwxr-xr-x - debian
drwxr-xr-x - freebsd
drwxr-xr-x - macports
drwxr-xr-x - rpm