proposed fix to marginal ui in case where host key not retrieved (should fix 1141)
[monkeysphere.git] / repo / conf / options
1 verbose
2 keepunreferencedfiles