Skip to content

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

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

Commits

Commits on Nov 25, 2024