Skip to content

Fix some pre-commit complaints - #19

Merged
joschkabirk merged 1 commit into
mainfrom
pre-commit-run-all
Jul 30, 2025
Merged

Fix some pre-commit complaints#19
joschkabirk merged 1 commit into
mainfrom
pre-commit-run-all

Commits

Commits on Jul 30, 2025