diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..4398449 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "jedi"] + path = jedi + url = git://github.com/davidhalter/jedi.git diff --git a/jedi b/jedi new file mode 160000 index 0000000..ac6fa90 --- /dev/null +++ b/jedi @@ -0,0 +1 @@ +Subproject commit ac6fa90a2428fd946f1ca87e699e963458f79d3f