diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-11-08 16:17:58 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-09 00:17:58 +0000 |
| commit | e5bbc45d20caf51e7df8288d51f20eb12da72aba (patch) | |
| tree | c5fb8bd8b42fae5d8ffb29c67b5cb05fdec5d94e /docs/binary | |
| parent | 0a88346eb42c1871382b04c5e7d34bbc0180af29 (diff) | |
Remove command-verbosity option (#7581)
This PR removes the command-verbosity option. It is implemented as a weird special case, and nobody seems to use it anyway.
Diffstat (limited to 'docs/binary')
0 files changed, 0 insertions, 0 deletions