mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-28 18:13:19 +08:00
Give all the necessary traceback info when using PuDB
This commit is contained in:
1 parent
a0d8b4b508
commit
783f71501e
1 file changed
+4
-1
Reference in new issue
Block a user