thirdparty/coverage/setup.cfg
changeset 1789 6f112b2ebd1f
parent 780 042aafcd7dce