diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-05-06 15:27:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-05-06 15:27:30 -0400 |
| commit | 6d454de6e5954f0e09adafca3141b5394bbc5140 (patch) | |
| tree | ae765a83259f804f7dc7a8eeede51faec284ef07 /src/settings.sig | |
| parent | 85341a176564ac3ce4e0a4ec4612262e2945660a (diff) | |
New optional suffice for 'rewrite' in .urp files: [-]
Diffstat (limited to 'src/settings.sig')
| -rw-r--r-- | src/settings.sig | 2 |
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 |