Commit d0451254 authored by Maren Hachmann's avatar Maren Hachmann

remove duplicate line

parent e65f23b7
......@@ -50,7 +50,6 @@ cd $SOURCE_DIR
# don't update everything just yet, to not mess up revision numbers for later comparison
git fetch
# select correct branch
# select correct branch
if [ $# -eq 0 ]
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment