Skip to content

[pre-commit.ci] pre-commit autoupdate#17

Merged
jeertmans merged 2 commits intomainfrom pre-commit-ci-update-configApr 14, 2023

Commits

Commits on Mar 20, 2023