| commit | d454b578e29e073250936948df5044e41fada772 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu May 10 12:17:03 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu May 10 12:17:03 2001 +0000 |
| tree | 379ff07879dddaf262539ee01892c87a865494be | |
| parent | 95bf9390a488004f66db1eccaa049203ef8ab5b3 [diff] |
Has been dead so long that there's no use keeping it in the active bit of the repository.