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

diff: DebugClients/Python/coverage/html.py

DebugClients/Python/coverage/html.py

changeset 1596: 8d59e4f3c828
parent 790: 2c0ea0163ef4
child 3495: fac17a82b431