mirror of
https://github.com/davidhalter/jedi.git
synced 2026-06-18 10:55:51 +08:00
Use a customized django-stubs
This commit is contained in:
+1
-1
@@ -3,4 +3,4 @@
|
||||
url = https://github.com/davidhalter/typeshed.git
|
||||
[submodule "jedi/third_party/django-stubs"]
|
||||
path = jedi/third_party/django-stubs
|
||||
url = https://github.com/typeddjango/django-stubs
|
||||
url = https://github.com/davidhalter/django-stubs
|
||||
|
||||
Reference in New Issue
Block a user