mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-06 05:54:25 +08:00
4 lines
121 B
Plaintext
4 lines
121 B
Plaintext
[submodule "jedi/third_party/typeshed"]
|
|
path = jedi/third_party/typeshed
|
|
url = git@github.com:davidhalter/typeshed.git
|