Skip to content

Use ruff for linting#1781

Merged
matthiask merged 2 commits intomainfrom
ruff
May 22, 2023
Merged

Use ruff for linting#1781
matthiask merged 2 commits intomainfrom
ruff

Commits

Commits on May 22, 2023