From d1620193caa1eed708209a7fc89a216e8f564611 Mon Sep 17 00:00:00 2001 From: Pietro Incardona <incardon@mpi-cbg.de> Date: Wed, 25 Mar 2020 11:37:16 +0100 Subject: [PATCH] Testing push 2 --- install | 1 + 1 file changed, 1 insertion(+) diff --git a/install b/install index 1cc69d9be..751ebd928 100755 --- a/install +++ b/install @@ -1,5 +1,6 @@ #! /bin/bash + source script/help source script/discover_os source script/show_solutions -- GitLab