From a0815499b2d9014695e6e261c909476729445360 Mon Sep 17 00:00:00 2001 From: Wiimm Date: Sat, 3 Oct 2020 14:59:19 +0200 Subject: SZS v2.20a --- project/src/ui/ui.def | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'project/src/ui/ui.def') 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", \ "", \ -- cgit v1.3.1