Closed adamtheturtle closed 1 year ago
as progress towards making that file mypy compatible.
skip.py is changing a lot on another branch, let's come back to that later.
as progress towards making that file mypy compatible.