name = Options element
description = A custom form element for entering the options in select lists, radios, or checkboxes.
core = 7.x
package = User interface

; Information added by Drupal.org packaging script on 2014-04-17
version = "7.x-1.12"
core = "7.x"
project = "options_element"
datestamp = "1397696072"