Skip to content

Use ruff for linting#404

Merged
jorisroovers merged 2 commits intomainfrom
ruff
Jan 5, 2023
Merged

Use ruff for linting#404
jorisroovers merged 2 commits intomainfrom
ruff

Commits

Commits on Jan 5, 2023