From 55d94daf3d71714ca10a17fd7ce40f8ad76fc3e4 Mon Sep 17 00:00:00 2001 From: "Goncalves Henriques, Andre (UG - Computer Science)" Date: Sun, 21 Apr 2024 18:49:28 +0100 Subject: [PATCH] fix setup --- setup-gotch.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/setup-gotch.sh b/setup-gotch.sh index 924916c..b7e13fb 100644 --- a/setup-gotch.sh +++ b/setup-gotch.sh @@ -53,8 +53,6 @@ else sudo tee -a $GOTCH_LIB_FILE > /dev/null <