diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-12T09·53+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-12T09·53+0100 |
| commit | f9fc6acbf4eadd2d9018d3da14394fdfbddde5f6 (patch) | |
| tree | 5b8c88d5cbe2d117210fb06d2fb1ab600314393c /doc/manual/manual.xml | |
| parent | 1f841c9d50a100a3d40fec6260d36ec9ee309af3 (diff) | |
Document current meaning of preferLocalBuild
Closes #208.
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions