mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-22 19:37:05 +08:00
PuDB's post_mortem is now consistant with pdb (https://github.com/inducer/pudb/pull/71)
This commit is contained in:
1 parent
76ff9e3f20
commit
a0d8b4b508
1 file changed
+1
-1