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 | |
| parent | d79b2f8e41b2153d47319fd97625c468dbba3b40 (diff) | |
Allow dot as special line-level special character
| -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) |