Skip to content

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

Merged
davidbrochart merged 1 commit intomainfrom pre-commit-ci-update-configOct 3, 2023

Commits

Commits on Oct 3, 2023