diff options
author | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2017-02-21 16:20:27 +0000 |
---|---|---|
committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2017-02-21 16:20:27 +0000 |
commit | 773c309baa825ae91a9d86358785f8c3056bad8f (patch) | |
tree | 81a9b5e32107d50452785f5b256e56285bcb75f3 /src/lru_cache.sml | |
parent | 59454c9766685b381603aaf116bb43a9515dbdba (diff) |
Button: disabled attribute; allowing number entry using HTML5 widgets
Diffstat (limited to 'src/lru_cache.sml')
0 files changed, 0 insertions, 0 deletions