diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-06T14·41+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-11-06T14·41+0000 |
commit | 569e7940f878f27b0fb9d3c8e8abfc29f3379103 (patch) | |
tree | fbd2970c097179d9eaf0ce156b4e2bb57f8ed395 | |
parent | fa18f1f184ba89b3dfe592e77a276da42d326f42 (diff) |
* Allow `+' in path names.
-rw-r--r-- | src/fix-ng/fix.sdf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/fix-ng/fix.sdf b/src/fix-ng/fix.sdf index 0cc486e14d80..30f9306863c9 100644 --- a/src/fix-ng/fix.sdf +++ b/src/fix-ng/fix.sdf @@ -100,7 +100,7 @@ exports "\"" ~[\n\"]* "\"" -> Str PathComp ("/" PathComp)+ -> Path - [a-zA-Z0-9\.\_\-]+ -> PathComp + [a-zA-Z0-9\.\_\-\+]+ -> PathComp "true" -> Bool "false" -> Bool |