about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2004-01-13T13·37+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2004-01-13T13·37+0000
commit3495d153b317a0853abd7114f29b44517f7c3813 (patch)
tree3385195e831313f57e843e7c7fe164528d4bd259 /doc
parent698e880c9f03b3aaade13897de3498a5915ea8fd (diff)
* Periodically checkpoint the log.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions