diff options
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) |