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

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

eric6/DebugClients/Python/coverage/main.py

changeset 7901: 6ff7ccf0cb50
parent 7427: 362cd1b6f81a