Skip to content

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

Merged
felixhekhorn merged 1 commit into
mainfrom
pre-commit-ci-update-config
Jul 11, 2023
Merged

[pre-commit.ci] pre-commit autoupdate#106
felixhekhorn merged 1 commit into
mainfrom
pre-commit-ci-update-config

Commits

Commits on Jul 10, 2023