mypy
mypy copied to clipboard
Remove old unused scripts from `misc/`
I've gone through all scripts in misc/ and scripts/.
Here's what I found:
- There was only one script in
scripts/, so I moved it tomisc/, not sure if it is still needed though: we now have existing IDE integrations, including emacs - I removed old files created back in 2016, that were never touched afterwards (except with autoformatters)
Please, correct me if I am removing something useful. Maybe there are other outdated / unused scripts that I've missed?
Refs https://github.com/python/mypy/pull/2117
According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉
According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉
According to mypy_primer, this change has no effect on the checked open source code. 🤖🎉
Thank you, @JukkaL!