From c3a35d1ee8fa4d714e65ba973a274259af8945fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Tue, 1 Dec 2015 09:08:45 +0100
Subject: [PATCH] Space

---
 CI/ci-mac.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/CI/ci-mac.sh b/CI/ci-mac.sh
index bc568d5..e528590 100755
--- a/CI/ci-mac.sh
+++ b/CI/ci-mac.sh
@@ -48,7 +48,6 @@ cd Unittests
 cd ..
 cd ..
 
-
 #########################################
 # Build Debug version and Unittests
 #########################################
@@ -67,7 +66,6 @@ make
 #build the unit tests
 make unittests
 
-
 #########################################
 # Run Debug Unittests
 #########################################
-- 
GitLab