From fc573963f4616572e42426f3e79c317dbb7d71ff Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Mon, 26 Oct 2015 08:43:55 +0100
Subject: [PATCH] Fix lint.

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

diff --git a/scripts/dev/ci_install.py b/scripts/dev/ci_install.py
index 5b13f7615..3a48eb0fd 100644
--- a/scripts/dev/ci_install.py
+++ b/scripts/dev/ci_install.py
@@ -48,7 +48,6 @@ if TESTENV in ['py34', 'py35']:
     pip_packages.append('codecov')
 
 
-
 def apt_get(args):
     subprocess.check_call(['sudo', 'apt-get', '-y', '-q'] + args)