From 7e895e905596262d1f184ff490666b9ad7dfc9a8 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Mon, 12 Dec 2022 17:05:20 +0100
Subject: [PATCH] fix tabs in Makefil

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index ac2be0b..d5ee3c5 100644
--- a/Makefile
+++ b/Makefile
@@ -15,8 +15,8 @@ installphuser:
 	./gradlew -PprobHome=$(PROB_HOME) -PpythonCommand=$(PYTHON) -PkernelspecUserInstall=true installKernelSpec
 
 remove:
-    echo "Deinstalling ProB2 Kernel; you may have to run this twice!
-    jupyter kernelspec remove prob2
+	echo "Deinstalling ProB2 Kernel; you may have to run this twice!
+	jupyter kernelspec remove prob2
 
 console:
 	jupyter console --kernel prob2
-- 
GitLab