Prepare for 2018.3, don't tag version

2018-09-21 17:18:08 +02:00
parent 7e8a679eb4
commit 9fde4fc6fa
4 changed files with 72 additions and 4 deletions
@@ -45,7 +45,7 @@ setVersionTo() {
  echo "$V" > version
  git add version
  echo "new version: $V" | git commit --file=-
-  git tag "version/$V"
+#  git tag "version/$V"
 }

 createBranch() {