From 1cbe6319e3efe5e1ad2855217e8a0eb071414c7e Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Thu, 4 Apr 2019 17:49:43 +0300 Subject: Remove redundant space in option description --- cli/options.cli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cli/options.cli b/cli/options.cli index 9af36cd..631f52f 100644 --- a/cli/options.cli +++ b/cli/options.cli @@ -638,7 +638,7 @@ class options option value. Empty lines and lines starting with \cb{#} are ignored. Option values can be enclosed in double (\cb{\"}) or single (\cb{'}) quotes to preserve leading and trailing whitespaces as well as to specify - empty values. If the value itself contains trailing or leading quotes, + empty values. If the value itself contains trailing or leading quotes, enclose it with an extra pair of quotes, for example \cb{'\"x\"'}. Non-leading and non-trailing quotes are interpreted as being part of the option value. -- cgit v1.1