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 | b24e1be86bca114f8a025c9b860e84e278044a5e (patch) | |
| tree | 0d0ee3699880632ea91cb7e09112789d51bc1aa7 /src/utf8.sml | |
| parent | 9d5548d15ef859eb57eb3b2124229bce9814a201 (diff) | |
Some more HTML5 input types
Diffstat (limited to 'src/utf8.sml')
0 files changed, 0 insertions, 0 deletions