This is a dev release of the html5_tools module for Drupal 7.
This release contains a new number field widget which can be used to create proper input elements with the number types.
Last updated: September 30, 2013 - 23:02
Last packaged version: 7.x-1.2+8-dev
Nightly development snapshot from branch: