Merge pull request #1486 from zwpaper/develop

gitGraph dot and minus should be valid branch name
This commit is contained in:
Knut Sveidqvist
2020-06-24 18:25:56 +02:00
committed by GitHub

View File

@@ -1,4 +1,3 @@
/*
* Parse following
* gitGraph:
@@ -34,7 +33,7 @@
["] this.begin("string");
<string>["] this.popState();
<string>[^"]* return 'STR';
[a-zA-Z][a-zA-Z0-9_]+ return 'ID';
[a-zA-Z][-_\.a-zA-Z0-9]*[-_a-zA-Z0-9] return 'ID';
<<EOF>> return 'EOF';
/lex