projects / monkeysphere.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
define variable for public key files (HOST_KEY_PUB, HOST_KEY_PUB_GPG).
[monkeysphere.git] / repo / conf / options
1 verbose
2 keepunreferencedfiles
Bernie's friendly fork of http://web.monkeysphere.info/