| commit | 09dcff793f0f799a818e288871c7553692d5fbd3 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 27 14:11:15 1997 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Aug 27 14:11:15 1997 +0000 |
| tree | c1f8eae9e9eaac64a234db2e7628b2209e16419f | |
| parent | ebacc2edff21800fc7c917a201ffde472f9bcb00 [diff] |
Put all prints inside "if verbose:"