Delete mypy.py