diff --git a/.gitignore b/.gitignore index b55ddaa14239b7a2d9d5c38554f2201680cf8d6e..b4c53c84152a06be668b64d3ac01c9d0a17a93eb 100644 --- a/.gitignore +++ b/.gitignore @@ -12,6 +12,7 @@ __pycache__ # editor crud .vscode *swp +*~ # Python .venv @@ -19,3 +20,5 @@ __pycache__ # sphinx docs/_build/ + +/tools/mypy.sh