diff options
author | Jonathan Brachthäuser <jonathan@b-studios.de> | 2016-12-21 21:42:52 +0100 |
---|---|---|
committer | Jonathan Brachthäuser <jonathan@b-studios.de> | 2016-12-21 21:42:52 +0100 |
commit | 7ff9c9326ef6c66758b3e16e2d655138663ed613 (patch) | |
tree | f69afbb241faf3ddbd4567eb139a9942bd8e99dd /docs | |
parent | cdc44429a2791b5a3c70cca38aa3aaa6d4e0d889 (diff) | |
download | dotty-7ff9c9326ef6c66758b3e16e2d655138663ed613.tar.gz dotty-7ff9c9326ef6c66758b3e16e2d655138663ed613.tar.bz2 dotty-7ff9c9326ef6c66758b3e16e2d655138663ed613.zip |
Remove tex comment
Diffstat (limited to 'docs')
-rw-r--r-- | docs/docs/internals/syntax.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/docs/internals/syntax.md b/docs/docs/internals/syntax.md index 34acae2f4..318d1e91f 100644 --- a/docs/docs/internals/syntax.md +++ b/docs/docs/internals/syntax.md @@ -72,7 +72,7 @@ multiLineChars ::= {[‘"’] [‘"’] char \ ‘"’} {‘"’} processedStringLiteral ::= alphaid ‘"’ {printableChar \ (‘"’ | ‘$’) | escape} ‘"’ | alphaid ‘"""’ {[‘"’] [‘"’] char \ (‘"’ | ‘$’) | escape} {‘"’} ‘"""’ -escape ::= ‘$$’ \comment{$} +escape ::= ‘$$’ | ‘$’ letter { letter | digit } | ‘{’ Block [‘;’ whiteSpace stringFormat whiteSpace] ‘}’ stringFormat ::= {printableChar \ (‘"’ | ‘}’ | ‘ ’ | ‘\t’ | ‘\n’)} |