Mercurial > urweb

diff src/urweb.grm @ 2078:6d126af2e1cb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some more HTML5 input types
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 14:39:38 -0500
parents 3cd2bd4b1de0
children f05fcb206571
line wrap: on
line diff
--- a/src/urweb.grm	Sun Nov 16 14:16:11 2014 -0500
+++ b/src/urweb.grm	Sun Nov 16 14:39:38 2014 -0500
@@ -222,6 +222,7 @@
     case bt of
         "table" => "tabl"
       | "url" => "url_"
+      | "datetime-local" => "datetime_local"
       | _ => bt
 
 datatype prop_kind = Delete | Update