Skip to content

[pre-commit.ci] pre-commit suggestions#134

Merged
Borda merged 1 commit intomainfrom pre-commit-ci-update-configSep 26, 2023

Commits

Commits on Sep 26, 2023