diff options
| author | Wiimm <wiimm@wiimm.de> | 2020-10-03 14:59:19 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2020-10-03 14:59:19 +0200 |
| commit | a0815499b2d9014695e6e261c909476729445360 (patch) | |
| tree | 7a31ed50ee3c1c62b86f7ddc09273c4cd7eadc8d /project/src/ui/ui-wszst.c | |
| parent | 89f00e8e4730b4834e6cc0c96e14f137ca4ac169 (diff) | |
SZS v2.20a
Diffstat (limited to '')
| -rw-r--r-- | project/src/ui/ui-wszst.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/project/src/ui/ui-wszst.c b/project/src/ui/ui-wszst.c index c4dc814..f6a0afc 100644 --- a/project/src/ui/ui-wszst.c +++ b/project/src/ui/ui-wszst.c @@ -1719,7 +1719,8 @@ static const InfoOption_t option_cmd_VERSION_BRIEF = static const InfoOption_t option_cmd_VERSION_LONG = { OPT_LONG, false, false, false, false, false, 'l', "long", 0, - "Print in long format. Ignored if option --sections is set." + "Print in long format (like --sections without section header). If set" + " twice, append developing settings." }; static const InfoOption_t option_cmd_TEST_VERBOSE = |