summaryrefslogtreecommitdiff
path: root/src/settings.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-05-06 15:27:30 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-05-06 15:27:30 -0400
commite2c983bf4dc50abe9500173ac5ebe98b9e182857 (patch)
treeae765a83259f804f7dc7a8eeede51faec284ef07 /src/settings.sig
parent7bb3cb12e6a013204e794db821069d8b9e0ecc58 (diff)
New optional suffice for 'rewrite' in .urp files: [-]
Diffstat (limited to 'src/settings.sig')
-rw-r--r--src/settings.sig2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/settings.sig b/src/settings.sig
index 4b1ac8ac..7140c645 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -97,7 +97,7 @@ signature SETTINGS = sig
type rule = { action : action, kind : pattern_kind, pattern : string }
datatype path_kind = Any | Url | Table | Sequence | View | Relation | Cookie | Style
- type rewrite = { pkind : path_kind, kind : pattern_kind, from : string, to : string }
+ type rewrite = { pkind : path_kind, kind : pattern_kind, from : string, to : string, hyphenate : bool }
(* Rules for rewriting URLs from canonical forms *)
val setRewriteRules : rewrite list -> unit