Skip to content

Formatting and linting using ruff#13

Merged
LeonarddeR merged 4 commits intomainfrom ruffSep 12, 2023