eric: diff DebugClients/Python/coverage/backward.py

diff: DebugClients/Python/coverage/backward.py

DebugClients/Python/coverage/backward.py

branch: maintenance
changeset 5681: be30320a29bc
parent 5178: 878ce843ca9f
child 6219: d6c795b5ce33