add comment to bug about notification of modifications to known_hosts
[monkeysphere.git] / repo /
drwxr-xr-x   ..
drwxr-xr-x - conf
-rwxr-xr-x 157 publish