diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 000000000..9e33f4be0 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "jedi/third_party/typeshed"] + path = jedi/third_party/typeshed + url = https://github.com/python/typeshed diff --git a/jedi/third_party/typeshed b/jedi/third_party/typeshed new file mode 160000 index 000000000..14fb9df49 --- /dev/null +++ b/jedi/third_party/typeshed @@ -0,0 +1 @@ +Subproject commit 14fb9df49c171fafdcda3c41f9b6f2df33a3a9f5