| commit | fd771a6a856dc8fc0fbf5f14dcf28e74ff02ec8f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 07 20:08:43 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 07 20:08:43 2000 +0000 |
| tree | 9f44a898e00c737bdff1cc3222d641f65391df91 | |
| parent | 99964b86b2e48ba2a1dba3df08ecbd35cab3e1c5 [diff] |
Upped default memory size to 16MB