diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-16T16·15+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-16T16·15+0000 |
commit | c370755583d7350f4b96136eb0a6a8a7b08551b1 (patch) | |
tree | 6e42f14440963847a4b71a142b4ace2a2523b279 /doc/manual/conf-file.xml | |
parent | c05783ad67ee95b5dd76d160efedc23b3acb0905 (diff) |
* Flag `--no-build-hook' to disable distributed builds.
* queryDeriver in daemon mode: don't barf if the other side returns an empty string (which means there is no deriver).
Diffstat (limited to 'doc/manual/conf-file.xml')
0 files changed, 0 insertions, 0 deletions