| commit | 32baa2c8d223d0abd14dd5bde68d1e330fa98f01 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:50:39 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Apr 11 20:50:39 2002 +0000 |
| tree | f9cbe425c0f5cd85e1527ff2adf4f23f1cf3149a | |
| parent | b19444fecac0fd38ef9647ad6e4efb4fb58893a6 [diff] |
These are long obsolete. Get rid of them.