Skip to content

Use ruff for linting#1781

Merged
matthiask merged 2 commits intomainfrom
ruff
May 22, 2023

Commits

Commits on May 22, 2023