| commit | 51f357049b6a83167e46af5e07e8ce1ea1be7b2f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun Aug 20 20:10:39 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Aug 20 20:10:39 2000 +0000 |
| tree | 15e09e0fdb0f060733d49d4fb8cc0fc5a37c8b7e | |
| parent | 742ca0385a7c42f5672db82a093f29a22f3dd7a7 [diff] |
Moved to unsupported: it doesn't work anymore and it has outlived its usefulness so I don't want to fix it.