merge with mainline
This commit is contained in:
commit
dc4ca99e2e
20 changed files with 939 additions and 77 deletions
|
@ -116,7 +116,7 @@ COMMENT #.*$
|
|||
|
||||
CHAR [^{}|&$;<> \t\n\'\"\\]
|
||||
DIGITS [[:digit:]]+
|
||||
NAME [[:alpha:]_][[:alnum:][:digit:]_]*
|
||||
NAME [[:alpha:]_][[:alnum:]_]*
|
||||
|
||||
ESC \\.
|
||||
SPECIAL \?|\#|\*|\@
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue