diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-28 21:04:53 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-28 21:04:53 -0700 |
| commit | a45eb002b57a741ec1b6346686089ee7711684ae (patch) | |
| tree | d2c1e51a2f5df576188e63d52ea49c6587391f1e /src/util | |
| parent | 02f6d2b5e2aba3760ffacdb40b76ce9f5625066f (diff) | |
Update `--lang=help`updateLangHelp
Support for the CVC language was removed in #7219 but the help message
for languages was not updated. This removes the mention of CVC from the
help message.
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions