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