diff .coveragerc @ 7604:ad5f5906e340

style: increase spacing around PR comment chunks Use more spacing around the whole comment section - 5px was too cramped, 10px (from @kallithea-panel-margin) is used in other places and looks better.
author Mads Kiilerich <mads@kiilerich.com>
date Fri, 22 Mar 2019 02:09:16 +0100
parents 4b241f198cf2
children d332fca29474
line wrap: on
line diff