| commit | 9513f2c95a669cc44d972a5f7158160cd23a1cf6 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 27 13:21:28 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Oct 27 13:21:28 1995 +0000 |
| tree | 175568b722cb93683d02eecfb016214c5a035de7 | |
| parent | 10d0f8fc40a9b4b0970ea8b14ddf4b38e67a4dcc [diff] |
Made a bit more robust against out-of-memory situations