mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-25 10:27:22 +08:00
don't erase coverage data
This commit is contained in:
1 parent
bb27afa19c
commit
b2b8bfc8e3
1 file changed
-1