Skip to content

Update pre-commit settings#144

Merged
christophfroehlich merged 6 commits intomainfrom
update/precommit
Dec 22, 2025
Merged

Update pre-commit settings#144
christophfroehlich merged 6 commits intomainfrom
update/precommit

Commits

Commits on Nov 22, 2025

Commits on Dec 22, 2025