change from using a filename that is a just a space to an actual temporary file
[monkeysphere.git] / repo / conf / options
1 verbose
2 keepunreferencedfiles