mirror of
https://github.com/mdbtools/mdbtools.git
synced 2025-04-05 20:31:00 +08:00
parent
d8a81c49a3
commit
58e4fe281d
@ -109,7 +109,7 @@ strptime { return STRPTIME; }
|
||||
return STRING;
|
||||
}
|
||||
|
||||
(-*[0-9]+|([0-9]*\.[0-9]+)(e[-+]?[0-9]+)?) {
|
||||
(-?[0-9]+|(-?[0-9]*\.[0-9]+)(e[-+]?[0-9]+)?) {
|
||||
yylval->name = g_strdup(yytext); return NUMBER;
|
||||
}
|
||||
~?(\/?[a-z0-9\.\xa0-\xff]+)+ {
|
||||
|
Loading…
Reference in New Issue
Block a user