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

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

eric6/DebugClients/Python/coverage/main.py

changeset 8221: 0572a215bd2f
parent 7427: 362cd1b6f81a