From 587ff020d068579a6179604d1b623b7b15bc425e Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Fri, 24 Jul 2020 07:17:32 +0200
Subject: [PATCH] Retry

---
 install | 2 --
 1 file changed, 2 deletions(-)

diff --git a/install b/install
index 66134d91e..64b75a8f9 100755
--- a/install
+++ b/install
@@ -1,6 +1,4 @@
 #! /bin/bash
-
-
 source script/help
 source script/discover_os
 source script/show_solutions
-- 
GitLab