commit | f1728713cc29eeaca344daa64cffe2a07d40a1de | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 28 15:18:59 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Feb 28 15:18:59 2003 +0000 |
tree | 7b7cf1e2fc48fc0587ebed7c1128b5ae70c18b23 | |
parent | d41eea05f49710fd6ab48bbc27ee9171b5a52b0a [diff] |
Removed silly print.