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

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

eric6/DebugClients/Python/coverage/optional.py

branch: maintenance
changeset 8576: fe1957c69854
parent 7975: 7d493839a8fc