Disable code-coverage comments

This commit is contained in:
sharkdp
2020-08-02 21:51:23 +02:00
committed by David Peter
parent 75246fb25b
commit 5a6c65c589
+1
View File
@@ -0,0 +1 @@
comment: false