commit | 7f9a63ca4cb559428c8d6faf0993cfd57cc35032 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 03 14:10:27 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Aug 03 14:10:27 2001 +0000 |
tree | dcffaf1f4d0e63110507c21382d1915cd9a84121 | |
parent | 5150edd9797b506f1cd6f88efb1c2a9e21e22b78 [diff] |
These stopped working a long time ago, and they're not worth fixing.