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 /configure.ac | |
parent | 4a013962bdd08ee0cf285136e4eca0f2c9c76b98 (diff) |
* Use a more reasonable log file size (256 KB instead of 10 MB).
* Checkpoint on exit.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions