| commit | b61ff2982a9cc59073588676a9a0c1f97651313f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Feb 15 22:58:12 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Feb 15 22:58:12 2001 +0000 |
| tree | 2ab9102b404088a97bb56bcc4ce8f883aa730e0b | |
| parent | c982ef2df6af4c89151ba4d8f624a479f7ff0775 [diff] |
A few more tweaks (there were a couple of files missing on my work machine).