diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-24 13:00:05 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-03-24 13:00:05 +0200 |
| commit | 74fff9901d9529cdde4ed42254aa21afe466ac3a (patch) | |
| tree | b95c93bc49e0ff9d9a1d7b26931f473f5e68aff9 /cli/options.cli | |
| parent | a2884d0ae08c4c13998570aa0073b05dec82c543 (diff) | |
Add --keep-separator option
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 |