# because they are used in Jenkins, whose plug-in doesn't support
major_version=1
-minor_version=0
+minor_version=3
patch_version=0
base_version=${major_version}.${minor_version}.${patch_version}
# Release must be completed with GIT information # in Jenkins
release_version=${base_version}
-snapshot_version=${base_version}-SNAPSHOT
\ No newline at end of file
+snapshot_version=${base_version}-SNAPSHOT