1
0
Fork 0

Merge branch 'devel' of https://github.com/arangodb/arangodb into devel

This commit is contained in:
Jan Steemann 2016-01-05 09:33:48 +01:00
commit ba4c30bc47
1 changed files with 1 additions and 1 deletions

View File

@ -67,7 +67,7 @@ case "$TAG" in
;;
*)
git rm -f EXPERIMENTAL
if test -f EXPERIMENTAL; then git rm -f EXPERIMENTAL; fi
;;
esac