Skip to content

Update pre-commit.#69

Merged
tobiasraabe merged 1 commit intomainfrom
update-precommit
Oct 7, 2023

Commits

Commits on Oct 7, 2023