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

diff: DebugClients/Python/coverage/collector.py

DebugClients/Python/coverage/collector.py

changeset 2434: c148e2b8188d
parent 790: 2c0ea0163ef4
child 3495: fac17a82b431