Skip to content

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

Merged
jeertmans merged 1 commit intomainfrom pre-commit-ci-update-configJun 7, 2023

Commits

Commits on May 29, 2023