| commit | 9051ad1bf2375450234f7cc8061b10fc05b745df | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jan 25 15:28:39 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jan 25 15:28:39 2002 +0000 |
| tree | 12c268955608ef60577da769b76e11abcdb7daa9 | |
| parent | c7a7d2d4e8edef9d1712eb3be2e424cb383e0c1a [diff] |
Some modifications and clarifications (by me) to Michael's mods.