| commit | 6d8bca8cb6496a6493fbb976926b369ccc627383 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 05 22:52:16 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 05 22:52:16 2003 +0000 |
| tree | 8e835730ac846ea998a92f0aed2bbc568eca5399 | |
| parent | ce8bcd8405593371ae7f16fbfefae3ef0db274a0 [diff] |
I don't think this script serves a useful purpose anymore, and I can't be bothered to fix it.