From 523a24e0b5a4febe3a8b7a2188eef431b17c3748 Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Fri, 24 Sep 2021 20:13:19 +0200
Subject: [PATCH] Retry

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

diff --git a/install b/install
index 54cfc1261..b86dd8d36 100755
--- a/install
+++ b/install
@@ -1,5 +1,4 @@
 #! /bin/bash
-
 source script/help
 source script/discover_os
 source script/show_solutions
-- 
GitLab