From 106564592df2f75889d69614ad50ac5de3dd3cab Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Thu, 3 Sep 2015 17:35:30 +0200 Subject: Remove stray space --- odb/options.cli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/odb/options.cli b/odb/options.cli index cf278cb..0e01fd5 100644 --- a/odb/options.cli +++ b/odb/options.cli @@ -943,7 +943,7 @@ class options "Read additional options from with each option appearing on a separate line optionally followed by space and an 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 + 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, enclose it with an extra pair of quotes, for example \cb{'\"x\"'}. Non-leading -- cgit v1.1