diff options
| -rw-r--r-- | util/newconfig/config.g | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/newconfig/config.g b/util/newconfig/config.g index 176ef6d3b5..3bf677dfc1 100644 --- a/util/newconfig/config.g +++ b/util/newconfig/config.g @@ -1690,7 +1690,7 @@ parser Config: # Dir's on the other hand are abitrary # this may all be stupid. token RULE: r'[-a-zA-Z0-9_$()./]+[-a-zA-Z0-9_ $()./]+[-a-zA-Z0-9_$()./]+' - token DIRPATH: r'[-a-zA-Z0-9_$()./]+' + token DIRPATH: r'[-a-zA-Z0-9_$()./,]+' token ID: r'[a-zA-Z_.]+[a-zA-Z0-9_.]*' token DELEXPR: r'{([^}]+|\\.)*}' token STR: r'"([^\\"]+|\\.)*"' |