added jedi submodule

2026-08-12 10:55:00 +08:00 · 2012-09-18 16:59:38 +02:00
parent 476999d715
commit 7412e64ccb
2 changed files with 4 additions and 0 deletions
@@ -0,0 +1,3 @@
 [submodule "jedi"]
 	path = jedi
 	url = git://github.com/davidhalter/jedi.git