| commit | 11845e00b267e30f87bbb2f2e7039fe9fe3fa594 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 05 21:15:22 2002 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 05 21:15:22 2002 +0000 |
| tree | 62d06e06f1fd2072dc710cba2202e7e382050913 | |
| parent | 20417bcd180e1a3e6a95b1a116956bc5ebecba7d [diff] |
Be a lot less verbose by default.