Re: [PATCH 1 of 6] .coveragerc: fix reporting of coverage

2018-12-29 Thread Mads Kiilerich
On 12/29/18 10:50 PM, Thomas De Schampheleire wrote: # HG changeset patch # User Thomas De Schampheleire # Date 1546111562 -3600 # Sat Dec 29 20:26:02 2018 +0100 # Node ID 6caed3c13cb8d631430371b8e1141a724c4c4cae # Parent 00fad8894f5173171a7ca8aee523eabdfb80e119 .coveragerc: fix reporting

[PATCH 1 of 6] .coveragerc: fix reporting of coverage

2018-12-29 Thread Thomas De Schampheleire
# HG changeset patch # User Thomas De Schampheleire # Date 1546111562 -3600 # Sat Dec 29 20:26:02 2018 +0100 # Node ID 6caed3c13cb8d631430371b8e1141a724c4c4cae # Parent 00fad8894f5173171a7ca8aee523eabdfb80e119 .coveragerc: fix reporting of coverage Without this change, the HTML report will