typing: fix indentation in run_mypy.py

pull/7794/head
Daniel Mensinger 4 years ago
parent dff40ca259
commit 19b3f65e70
No known key found for this signature in database
GPG Key ID: 54DD94C131E277D4
Loading…
Cancel
Save