Revert "proposed fix for #1147 by checking for known_hosts file"
[monkeysphere.git] / man /
drwxr-xr-x   ..
drwxr-xr-x - man1
drwxr-xr-x - man7
drwxr-xr-x - man8