Skip to content

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

Merged
dolfinus merged 1 commit intodevelopfrom pre-commit-ci-update-configMay 2, 2024

Commits

Commits on Apr 29, 2024