Skip to content

Commit e210049

Browse files
authored
Merge pull request #11 from garyb/8-remove-datetime
Remove the non-local version of datetime input
2 parents df0758f + c8a580e commit e210049

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

src/DOM/HTML/Indexed/InputType.purs

-2
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,6 @@ data InputType
55
| InputCheckbox
66
| InputColor
77
| InputDate
8-
| InputDatetime
98
| InputDatetimeLocal
109
| InputEmail
1110
| InputFile
@@ -31,7 +30,6 @@ renderInputType = case _ of
3130
InputCheckbox -> "checkbox"
3231
InputColor -> "color"
3332
InputDate -> "date"
34-
InputDatetime -> "datetime"
3533
InputDatetimeLocal -> "datetime-local"
3634
InputEmail -> "email"
3735
InputFile -> "file"

0 commit comments

Comments
 (0)