Skip to content

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

Merged
jeertmans merged 1 commit intomainfrom
pre-commit-ci-update-config
Oct 5, 2023
Merged

[pre-commit.ci] pre-commit autoupdate#281
jeertmans merged 1 commit intomainfrom
pre-commit-ci-update-config

Commits

Commits on Oct 3, 2023