diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2021-12-12 11:48:15 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2021-12-12 11:48:25 +0100 |
| commit | 33d3f2b30d77f242ed0a6a228a9f183778504640 (patch) | |
| tree | 94127ee63e5b5b445371063313a3a8a00b7cc8d4 /misc/etc | |
| parent | 8b94f8a7ed57af0b5bfad7da072ee213a530441f (diff) | |
| download | vtcol-33d3f2b30d77f242ed0a6a228a9f183778504640.tar.gz | |
bin: make --verbose a global argument
It shouldn’t matter where exactly it appears on the command line.
Diffstat (limited to 'misc/etc')
0 files changed, 0 insertions, 0 deletions