Skip to content

Rename is.element() to is.theme_element()#6160

Merged
teunbrand merged 1 commit intotidyverse:mainfrom
teunbrand:is_element
Oct 28, 2024
Merged

Rename `is.element()` to `is.theme_element()`#6160
teunbrand merged 1 commit intotidyverse:mainfrom
teunbrand:is_element

Commits

Commits on Oct 25, 2024