| commit | e87663306a989afea3a2ed3e245a6190fd9e1fa9 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 19 23:26:58 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 19 23:26:58 2002 +0000 |
| tree | fb25a7077c6cb4a9c5edf6c7de3a725f2acbc1a7 | |
| parent | 4235e71accb07e1db42319480d3b8253c8451c61 [diff] |
Added the last missing bits of functionality, and fixed a nasty bug where we could overwrite memory.