diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-31T14·28+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-31T14·28+0000 |
| commit | 177a7782aee4c4789ad5377b5993bfa0b692282e (patch) | |
| tree | d380af8a637ff3e276b5f8287c485bb07ef80dac /doc/manual | |
| parent | 4a013962bdd08ee0cf285136e4eca0f2c9c76b98 (diff) | |
* Use a more reasonable log file size (256 KB instead of 10 MB).
* Checkpoint on exit.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions