mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-12-19 03:31:32 +03:00
Fix CI
This commit is contained in:
parent
2867c20e67
commit
0d5aabecd3
@ -2,6 +2,7 @@ module Nri.Ui.PremiumCheckbox.V7 exposing
|
|||||||
( view
|
( view
|
||||||
, selected, partiallySelected
|
, selected, partiallySelected
|
||||||
, premium, showPennant
|
, premium, showPennant
|
||||||
|
, Attribute
|
||||||
, disabled, enabled
|
, disabled, enabled
|
||||||
)
|
)
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user