mirror of
https://github.com/davidhalter/jedi.git
synced 2026-05-17 13:59:37 +08:00
a3410f124a
See also comment of https://github.com/davidhalter/jedi/pull/1614#issuecomment-647054740
10 KiB
10 KiB