diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2017-02-21 12:44:23 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2017-02-21 12:44:23 -0500 |
| commit | 5c7051419520ca3449649dbfc68e755b45cde0f1 (patch) | |
| tree | 1c14ae8b982132f4f71eb439b31aa1586089e385 /include | |
| parent | 44a610e70bd2da156289251b3e94dd8d744bd9bb (diff) | |
| parent | 773c309baa825ae91a9d86358785f8c3056bad8f (diff) | |
Merge pull request #68 from ashalkhakov/html5-forms
Button: disabled attribute; allowing number entry using HTML5 widgets
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions