diff options
author | Adam Chlipala <adam@chlipala.net> | 2014-11-16 15:20:13 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2014-11-16 15:20:13 -0500 |
commit | 16ca08fbff65b24e0b2d8318f4d2419345a4276a (patch) | |
tree | 2567582a726c1f617647ebd0bae71b1db2a454b5 /src/urweb.grm | |
parent | 0c469622c4b22c438bafca09bc025f13b1812611 (diff) |
More HTML5 AJAX widgets
Diffstat (limited to 'src/urweb.grm')
-rw-r--r-- | src/urweb.grm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index 5b568a8c..995d1329 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -223,6 +223,7 @@ fun tagIn bt = "table" => "tabl" | "url" => "url_" | "datetime-local" => "datetime_local" + | "cdatetime-local" => "cdatetime_local" | _ => bt datatype prop_kind = Delete | Update |