projects / monkeysphere.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge remote branch 'jrollins/master'
[monkeysphere.git] / repo / conf / options
1 verbose
2 keepunreferencedfiles
Bernie's friendly fork of http://web.monkeysphere.info/