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