add proxycommand --no-connect option to monkeysphere usage
[monkeysphere.git] / repo / conf / options
1 verbose
2 keepunreferencedfiles