commit | 12cb99b33ffca180ec8ea2efcad0289d3cf11eca | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Jul 22 14:31:34 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Jul 22 14:31:34 2003 +0000 |
tree | cd4dc5363e40983a06bff1dee457358d3c2ef591 | |
parent | f7538163b0cea658e0ed7b9030b3207b5c59b72e [diff] |
Various tweaks to make the packages work better. Still not 100%, though.