diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-03-03 13:10:44 +0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-03-03 13:10:44 +0000 |
commit | 86cb3cc55468a9e83e3646acedfaedb6a0253b05 (patch) | |
tree | 6f85520749cbe87d28436b0aaf93ac7f8b31c6a7 /scripts | |
parent | 0107fba48e9466855af2ed8fc84edfec2e0de1ee (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