Commit d25aaeba authored by Simone Deparis's avatar Simone Deparis
Browse files

I defined some variables to be able to change quickly the release number in this file.

parent e411e009
......@@ -15,9 +15,11 @@ git remote add github
2- update NEWS
3- tag master with the tag RELEASE_X_Y_Z
git tag RELEASE_3_2_0
git push github RELEASE_3_2_0
git push origin RELEASE_3_2_0
git tag RELEASE_${X_Y_Z}
git push github RELEASE_${X_Y_Z}
git push origin RELEASE_${X_Y_Z}
4- add news on and
Supports Markdown
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