Skip to content

chore: allow renamed_and_removed_lints#17

Merged
zeitgeist merged 1 commit intomainfrom lintsDec 21, 2023

Commits

Commits on Dec 14, 2023