| commit | 31bca4ef12172aefb2cd936248bf1f4418f1790d | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 16 12:34:23 2004 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jul 16 12:34:23 2004 +0000 |
| tree | c45ac73048a007eb1304ea3d0291ac81483d604b | |
| parent | 76d962d7007387914f7ea52ec659045f9b536dfa [diff] |
Cleaned up list of interpreters.