From e2c983bf4dc50abe9500173ac5ebe98b9e182857 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 6 May 2012 15:27:30 -0400 Subject: New optional suffice for 'rewrite' in .urp files: [-] --- src/settings.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/settings.sig') 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 -- cgit v1.2.3