From 256352024b724d9ce540c28ee3f2e8bd89890769 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Wed, 11 Nov 2015 22:39:17 +0100
Subject: [PATCH] Fix lint.

---
 scripts/dev/check_coverage.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/dev/check_coverage.py b/scripts/dev/check_coverage.py
index f9914b5d7..e7e3e7c3d 100644
--- a/scripts/dev/check_coverage.py
+++ b/scripts/dev/check_coverage.py
@@ -154,7 +154,6 @@ def _get_filename(filename):
     return filename
 
 
-
 def check(fileobj, perfect_files):
     """Main entry point which parses/checks coverage.xml if applicable."""
     if sys.platform != 'linux':