diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-11-16 14:39:38 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-11-16 14:39:38 -0500 |
| commit | 86df1742d90c9ae13843188c0772554ed2eaa666 (patch) | |
| tree | 0d0ee3699880632ea91cb7e09112789d51bc1aa7 /src/urweb.grm | |
| parent | 5f984d18d62f3290103540552a82b13c69e364df (diff) | |
Some more HTML5 input types
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 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 |