eric: diff src/eric7/DebugClients/Python/coverage/__main__.py

diff: src/eric7/DebugClients/Python/coverage/main.py

src/eric7/DebugClients/Python/coverage/main.py

branch: eric7
changeset 9397: a415cb83dafb
parent 9209: b99e7fd55fd3