diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-13T13·37+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-01-13T13·37+0000 |
| commit | 3495d153b317a0853abd7114f29b44517f7c3813 (patch) | |
| tree | 3385195e831313f57e843e7c7fe164528d4bd259 /doc/manual | |
| parent | 698e880c9f03b3aaade13897de3498a5915ea8fd (diff) | |
* Periodically checkpoint the log.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions