mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-30 17:07:21 +08:00
Make sure coverage works again
This commit is contained in:
1 parent
9824929ad1
commit
ff96b052d0
1 file changed
+2
-2
Reference in new issue
Block a user