diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-07-03T16·35+0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-07-03T16·35+0200 |
| commit | b584a42e3db8302095e786b4a12894d073fd75cf (patch) | |
| tree | cefa11ee2200aab594cf8ae7502c2ce413f536ea /doc/manual/opt-inst-syn.xml | |
| parent | 5116214343ecce70a3cb7037f223313314a0a614 (diff) | |
Manual: auto-optimise-store is disabled by default
Diffstat (limited to 'doc/manual/opt-inst-syn.xml')
0 files changed, 0 insertions, 0 deletions