Skip to content

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

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

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

Commits

Commits on Oct 9, 2023