From 7d2b7bb3c1c4f79f325ccbde9d2b2734aa872312 Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Sat, 21 Jul 2018 09:50:25 +0200 Subject: [PATCH] Add typeshed as a submodule --- .gitmodules | 3 +++ jedi/third_party/typeshed | 1 + 2 files changed, 4 insertions(+) create mode 100644 .gitmodules create mode 160000 jedi/third_party/typeshed 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