Mercurial > urweb

diff src/settings.sml @ 1360:02fc16faecf3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
[De]serialization of times in JavaScript; proper integer division in JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
author Adam Chlipala <adam@chlipala.net>
date Thu, 23 Dec 2010 17:46:40 -0500
parents 74d35d9a5d16
children 1595a738e4e9
line wrap: on
line diff
--- a/src/settings.sml	Thu Dec 23 11:23:31 2010 -0500
+++ b/src/settings.sml	Thu Dec 23 17:46:40 2010 -0500
@@ -171,6 +171,7 @@
                           ("stringToInt_error", "pi"),
                           ("urlifyInt", "ts"),
                           ("urlifyFloat", "ts"),
+                          ("urlifyTime", "ts"),
                           ("urlifyString", "uf"),
                           ("urlifyBool", "ub"),
                           ("recv", "rv"),