From 86df1742d90c9ae13843188c0772554ed2eaa666 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 16 Nov 2014 14:39:38 -0500
Subject: Some more HTML5 input types

---
 src/urweb.grm | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/urweb.grm')

diff --git a/src/urweb.grm b/src/urweb.grm
index 85e5f092..5b568a8c 100644
--- a/src/urweb.grm
+++ b/src/urweb.grm
@@ -222,6 +222,7 @@ fun tagIn bt =
     case bt of
         "table" => "tabl"
       | "url" => "url_"
+      | "datetime-local" => "datetime_local"
       | _ => bt
 
 datatype prop_kind = Delete | Update
-- 
cgit v1.2.3