Fix scripts/lint.py to work on windows#4559

Merged

Wumpf merged 1 commit intomainfrom andreas/fix-lint-for-windows

Dec 16, 2023

+4-1

Commits on Dec 15, 2023

Fix scripts/lint.py to work on windows
Wumpf
committed