Skip to content

Types: allow for arbitrary theme values (for 3rd party plugins)#7926

Merged
RobinMalfait merged 4 commits intomasterfrom
further-improve-types
Mar 31, 2022
Merged

Types: allow for arbitrary theme values (for 3rd party plugins)#7926
RobinMalfait merged 4 commits intomasterfrom
further-improve-types

Commits

Commits on Mar 31, 2022