From 6301226394b902059b1e25061324dde1304218e7 Mon Sep 17 00:00:00 2001 From: Mirco Nasuti <mirco.nasuti@chuv.ch> Date: Wed, 13 Jul 2016 10:54:19 +0200 Subject: [PATCH] update clean.sh script (removed useless line) --- clean.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/clean.sh b/clean.sh index 150e05609..55a2f1aee 100755 --- a/clean.sh +++ b/clean.sh @@ -3,5 +3,4 @@ ./halt.sh sudo rm -r ./.m2/ sudo rm -r ./target/ -sudo rm -r ./data/ sudo rm -r ./pgdata/ \ No newline at end of file -- GitLab