Sequence autonumbering and Git fix options parsing

This commit is contained in:
Hans Petersen
2022-04-28 12:15:34 +02:00
parent 170ed89e9e
commit 3fcc43efdd
12 changed files with 33478 additions and 48316 deletions

View File

@@ -43,9 +43,9 @@
"BT" return 'DIR';
":" return ':';
"^" return 'CARET'
"options"\r?\n this.begin("options");
<options>"end"\r?\n this.popState();
<options>[^\n]+\r?\n return 'OPT';
"options"\r?\n this.begin("options"); //
<options>[ \r\n\t]+"end" this.popState(); // not used anymore in the renderer, fixed for backward compatibility
<options>[\s\S]+(?=[ \r\n\t]+"end") return 'OPT'; //
["] this.begin("string");
<string>["] this.popState();
<string>[^"]* return 'STR';