From fc78ed2dcb3409cad3650b9663dca533e534f018 Mon Sep 17 00:00:00 2001 From: Filip Gralinski Date: Sat, 14 Nov 2020 18:18:51 +0100 Subject: [PATCH] Fix --- blend.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/blend.sh b/blend.sh index 6b4844c..c618b9a 100755 --- a/blend.sh +++ b/blend.sh @@ -14,8 +14,8 @@ mkdir arena cp -R $STUDENT_DIR/* arena/ ln -s ../$STUDENT_DIR/.git arena/.git -mkdir -p arena/regexp -mkdir -p arena/automata +#mkdir -p arena/regexp +#mkdir -p arena/automata rm -rf arena/odp arena/$PREFIX