Skip to content

Rename prop noOptionsMsg->noMatchingOptionsMsg#133

Merged
janosh merged 4 commits intomainfrom
rename-noOptionsMsg-prop
Oct 17, 2022
Merged

Rename prop `noOptionsMsg`->`noMatchingOptionsMsg`#133
janosh merged 4 commits intomainfrom
rename-noOptionsMsg-prop

Commits

Commits on Oct 17, 2022