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 9402: f5d9aa5c62db
parent 9209: b99e7fd55fd3