Mercurial > urweb

diff src/urweb.grm @ 2080:f05fcb206571

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More HTML5 AJAX widgets
author Adam Chlipala <adam@chlipala.net>
date Sun, 16 Nov 2014 15:20:13 -0500
parents 6d126af2e1cb
children c647f113ba3e
line wrap: on
line diff
--- a/src/urweb.grm	Sun Nov 16 15:03:29 2014 -0500
+++ b/src/urweb.grm	Sun Nov 16 15:20:13 2014 -0500
@@ -223,6 +223,7 @@
         "table" => "tabl"
       | "url" => "url_"
       | "datetime-local" => "datetime_local"
+      | "cdatetime-local" => "cdatetime_local"
       | _ => bt
 
 datatype prop_kind = Delete | Update