Revert "Multiline comments"

This commit is contained in:
GDFaber
2020-02-29 21:32:20 +01:00
committed by GitHub
parent 2b58a2a176
commit 94ace2348f
7 changed files with 5 additions and 12 deletions

View File

@@ -10,8 +10,7 @@
%x dir
%x vertex
%%
\%\%[^\n]*\n* /* skip comments */
\%\%\*((.|\n)*)\*\%\% /* multiline skip comments */
\%\%[^\n]*\n* /* do nothing */
["] this.begin("string");
<string>["] this.popState();
<string>[^"]* return "STR";