Files
jedi/setup.py
Dave Halter 76c0c373da Merge pull request #1642 from PeterJCLaw/mypy
Add an initial mypy config
2020-08-05 01:09:49 +02:00

2.5 KiB
Executable File