* Allow `+' in path names.

This commit is contained in:
Eelco Dolstra 2003-11-06 14:41:29 +00:00
parent fa18f1f184
commit 569e7940f8

View file

@ -100,7 +100,7 @@ exports
"\"" ~[\n\"]* "\"" -> Str
PathComp ("/" PathComp)+ -> Path
[a-zA-Z0-9\.\_\-]+ -> PathComp
[a-zA-Z0-9\.\_\-\+]+ -> PathComp
"true" -> Bool
"false" -> Bool