| commit | 5a4071ac914cea8deb7d5a338a09259da87293b3 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 05 23:51:54 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Dec 05 23:51:54 2003 +0000 |
| tree | 197552b3eb8cc7d37399a29f144651ea4d1c2de3 | |
| parent | c7501d52ef2b55ff0b005d09e76ab31070fcb3a1 [diff] |
Reverting to previous version, which works. And I don't really care about the new waste functionality because it's probably going to be dropped anyway.