add mypy as submodule

2026-05-25 09:48:41 +08:00 · 2018-11-10 16:24:11 +03:00
parent 2cdefc4662
commit 63be2a3668
2 changed files with 4 additions and 0 deletions
@@ -0,0 +1,3 @@
 [submodule "external/mypy"]
 	path = external/mypy
 	url = https://github.com/python/mypy.git