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
# 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