mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-12-24 22:21:45 +03:00
🤖
This commit is contained in:
parent
36febbfe45
commit
c8d5f331a8
@ -139,6 +139,7 @@ viewDisabledCheckbox id state =
|
||||
, noOpMsg = NoOp
|
||||
}
|
||||
|
||||
|
||||
viewMultilineCheckboxes : Html Msg
|
||||
viewMultilineCheckboxes =
|
||||
Html.section
|
||||
|
Loading…
Reference in New Issue
Block a user