From 409b32122eae037c65e69cf305873f3b44ddbb6d Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Sat, 8 Aug 2015 22:55:13 +0200
Subject: Don't generate HTML coverage by default.

---
 .coveragerc | 3 ---
 1 file changed, 3 deletions(-)

(limited to '.coveragerc')

diff --git a/.coveragerc b/.coveragerc
index b1c620b3b..07e1f32c2 100644
--- a/.coveragerc
+++ b/.coveragerc
@@ -13,8 +13,5 @@ exclude_lines =
     raise NotImplementedError
     if __name__ == ["']__main__["']:
 
-[html]
-directory=.htmlcov
-
 [xml]
 output=.coverage.xml
-- 
cgit v1.2.3-54-g00ecf