| commit | d0f26784fef4333c1b399732679ef92b4d1d2bbd | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 12 10:22:29 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Oct 12 10:22:29 1995 +0000 |
| tree | a5c77c47c66ca8151d7a7d4fd36895a02074cc2c | |
| parent | c925291ee2786409f580ca1c1e6fde50fa72fd5b [diff] |
Last few notes/bugs