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.def | |
| parent | 89f00e8e4730b4834e6cc0c96e14f137ca4ac169 (diff) | |
SZS v2.20a
Diffstat (limited to 'project/src/ui/ui.def')
| -rw-r--r-- | project/src/ui/ui.def | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/project/src/ui/ui.def b/project/src/ui/ui.def index ec5d3ae..b0b8a3c 100644 --- a/project/src/ui/ui.def +++ b/project/src/ui/ui.def @@ -1850,7 +1850,8 @@ #:def_cmd_opt( "VERSION", "LONG", \ "", \ - "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." ) #:def_cmd_opt( "HELP", "WIDTH", \ "", \ |