aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2005-03-03 13:10:44 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2005-03-03 13:10:44 +0000
commit86cb3cc55468a9e83e3646acedfaedb6a0253b05 (patch)
tree6f85520749cbe87d28436b0aaf93ac7f8b31c6a7 /scripts
parent0107fba48e9466855af2ed8fc84edfec2e0de1ee (diff)
* Increase Berkeley DB limits a bit more.
* Maintain the cleanup invariant in clearSubstitutes().
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions