| commit | 0e17c589386adfe58a9bad3c5ca6eaf99910878f | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sun May 07 22:02:10 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sun May 07 22:02:10 2000 +0000 |
| tree | 5fbe384bf7089d64e838d4794dae88209f3e41ce | |
| parent | 09c79b8f7dddafa14ca3e4657daaf00d7a19482c [diff] |
These were never used, removed.