mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-21 17:17:05 +08:00
Upgrade typeshed to the latest commits
Also fixes some small Jedi issues with it (None interpretation in annoations mostly)
This commit is contained in:
1 parent
74de9e7d53
commit
7254bec92c
6 files changed
+14
-8
No files matched your search
Vendored
+1
-1
Submodule jedi/third_party/typeshed updated: 3319cadf85...ff92f09efb.
Reference in new issue
Block a user