| commit | 404e0b7c1e2b63d853f883794acc971249a15178 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Aug 21 10:51:47 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Aug 21 10:51:47 2001 +0000 |
| tree | a0434cc678bc2d0c2268c292f218cd75ff333e7c | |
| parent | 0e53685d1061a0a0de8ac595ef2723307fa595c3 [diff] |
These long dead files somehow got revived. Killed them (but for how long? :-).