summaryrefslogtreecommitdiff
path: root/include/urweb
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:16:11 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-11-16 14:16:11 -0500
commit5f984d18d62f3290103540552a82b13c69e364df (patch)
treeff04982802ab530c999710e8cfa1ca9ecf6c1177 /include/urweb
parent17a277b007b8e545760837b1871d36df0e9deaea (diff)
More simple textual HTML5 input types
Diffstat (limited to 'include/urweb')
0 files changed, 0 insertions, 0 deletions