From 16a5ee133346e9a5e13fe33dd73204d0b5ee22a8 Mon Sep 17 00:00:00 2001 From: Filip Gralinski Date: Sat, 11 Jan 2020 19:10:50 +0100 Subject: [PATCH] F --- blend.sh | 2 +- overrides.txt | 0 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 overrides.txt diff --git a/blend.sh b/blend.sh index 6b4844c..06aafda 100755 --- a/blend.sh +++ b/blend.sh @@ -15,7 +15,7 @@ cp -R $STUDENT_DIR/* arena/ ln -s ../$STUDENT_DIR/.git arena/.git mkdir -p arena/regexp -mkdir -p arena/automata +#mkdir -p arena/automata rm -rf arena/odp arena/$PREFIX diff --git a/overrides.txt b/overrides.txt new file mode 100644 index 0000000..e69de29