eric: diff eric6/DebugClients/Python/coverage/__main__.py

diff: eric6/DebugClients/Python/coverage/main.py

eric6/DebugClients/Python/coverage/main.py

branch: maintenance
changeset 8576: fe1957c69854
parent 7427: 362cd1b6f81a