Merge pull request #1421 from j-mortara/master

Corrected tex comment start separator
This commit is contained in:
Zachary Yedidia 2019-12-19 10:01:28 -05:00 committed by GitHub
commit 1956a49f9b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -20,9 +20,10 @@ rules:
- special: "[&\\\\]"
# macros
- statement: "\\\\@?[a-zA-Z_]+"
- statement: "\\\\%"
# comments
- comment:
start: "%"
start: "[^\\\\]%"
end: "$"
rules: []
- comment: