| commit | d6abf5d8c75103eb22e06b6c16a79fece9fc1295 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 29 21:46:31 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Apr 29 21:46:31 2003 +0000 |
| tree | c74edf8790508bde5ed052ef16f87fdf9dac2a65 | |
| parent | 721adf99529a5565edfbdbb6678f00e7ac9bd155 [diff] |
By default be verbose.