diff options
Diffstat (limited to 'cli/options.cli')
-rw-r--r-- | cli/options.cli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/cli/options.cli b/cli/options.cli index 30b45b3..97b63aa 100644 --- a/cli/options.cli +++ b/cli/options.cli @@ -575,6 +575,12 @@ class options option separator to the empty value if you don't want this functionality." }; + bool --keep-separator + { + "Leave the option separator in the scanner. This is primarily useful for + incremental option parsing." + }; + bool --include-with-brackets { "Use angle brackets (\cb{<>}) instead of quotes (\cb{\"\"}) in the |