mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-01 04:53:45 +08:00
Include Django stubs as a third party repo
This commit is contained in:
1 parent
6d927d502e
commit
6bff30fbbb
5 files changed
+44
-2
No files matched your search
@@ -1,3 +1,6 @@
|
||||
[submodule "jedi/third_party/typeshed"]
|
||||
path = jedi/third_party/typeshed
|
||||
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
|
||||
Reference in new issue
Block a user