diff options
author | 2014-11-16 14:16:11 -0500 | |
---|---|---|
committer | 2014-11-16 14:16:11 -0500 | |
commit | 9d5548d15ef859eb57eb3b2124229bce9814a201 (patch) | |
tree | ff04982802ab530c999710e8cfa1ca9ecf6c1177 /src/urweb.grm | |
parent | ae37c78eb55cc69635df594a2c20d4ad33c0c03b (diff) |
More simple textual 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 240f64cb..85e5f092 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -221,6 +221,7 @@ val inDml = ref false fun tagIn bt = case bt of "table" => "tabl" + | "url" => "url_" | _ => bt datatype prop_kind = Delete | Update |