Skip to content

[CI/Infra] Add pre-commit to repo#154

Merged
jpthiele merged 8 commits intoWIAS-PDELib:masterfrom jpthiele:precommitNov 26, 2024

Commits

Commits on Nov 25, 2024