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 /configure.sh | |
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 'configure.sh')
0 files changed, 0 insertions, 0 deletions