Skip to content

Apply ruff suggestions#57

Merged
Schnouki merged 1 commit intomainfrom
thomas/ruff
Nov 14, 2024
Merged

Apply ruff suggestions#57
Schnouki merged 1 commit intomainfrom
thomas/ruff

Commits

Commits on Nov 14, 2024