diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2016-12-15 16:30:22 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2016-12-15 16:30:22 +0200 |
commit | 25352f11efd89c5b17cf401cf3c33d944c0adc52 (patch) | |
tree | f7459b21d3a72e99293fdcbc7b6398aeb328d20d /doc | |
parent | d79b2f8e41b2153d47319fd97625c468dbba3b40 (diff) |
Allow dot as special line-level special character
Diffstat (limited to 'doc')
-rw-r--r-- | doc/testscript.cli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/testscript.cli b/doc/testscript.cli index 78e7efc..3a7285d 100644 --- a/doc/testscript.cli +++ b/doc/testscript.cli @@ -1693,7 +1693,7 @@ the following more traditional form: (A|B|C)+ \ -Only characters from the \c{()|*+?{\}0123456789,=!} set are allowed as +Only characters from the \c{.()|*+?{\}0123456789,=!} set are allowed as syntax line-chars with presence of any other character being an error. A blank line as well as the \c{//} sequence (assuming \c{/} is the introducer) |