Interesting stuff, thanks for sharing. I wasn't sure if any other tools
supported it but I assumed they would... Thanks for setting that
straight. I was tarring up some code to shift it onto a cluster earlier,
and I decided to experiment with those flags. When I saw that the
`.mypy_cache` folder was excluded but not the `__pycache__` folder, I
decided to submit the suggestion.

Leon
_______________________________________________
Python-ideas mailing list -- [email protected]
To unsubscribe send an email to [email protected]
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at 
https://mail.python.org/archives/list/[email protected]/message/EOMHKLLDDZZSNEYY7VLXC5DQOX4OESFW/
Code of Conduct: http://python.org/psf/codeofconduct/

Reply via email to