From de56434a346e7ca794360517ca70020ae2e59900 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Sat, 16 May 2020 01:15:42 +0200
Subject: [PATCH] Running CI again

---
 install | 1 -
 1 file changed, 1 deletion(-)

diff --git a/install b/install
index 1132380ab..7b7e8d2e6 100755
--- a/install
+++ b/install
@@ -1,6 +1,5 @@
 #! /bin/bash
 
-
 source script/help
 source script/discover_os
 source script/show_solutions
-- 
GitLab