diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-24T13·43+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-24T13·43+0000 |
| commit | 0a0c1fcb4d0e42577ac0c7ac23bd9b908ecde49f (patch) | |
| tree | c52d0c7f02f6a61d1bc48dbe3474daeca1471b25 /externals | |
| parent | 3b521bb1bd53479896de89e7a24938039f92aace (diff) | |
* The `-v' flag no longer takes an argument; it should be repeated
instead (e.g., `-vvvv' for lots of output). Default is to only print error messages.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions