summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--version.properties14
1 files changed, 7 insertions, 7 deletions
diff --git a/version.properties b/version.properties
index fb5c330..7a5aafd 100644
--- a/version.properties
+++ b/version.properties
@@ -18,13 +18,13 @@
# Note that these variables cannot be structured (e.g. : version.release or version.snapshot etc... )
# because they are used in Jenkins, whose plug-in doesn't support...
-major=3
-minor=0
-patch=1
+major = 4
+minor = 0
+patch = 0
-base_version=${major}.${minor}.${patch}
+base_version = ${major}.${minor}.${patch}
# Release must be completed with git revision # in Jenkins
-release_version=${base_version}
-staging_version=${base_version}-STAGING
-snapshot_version=${base_version}-SNAPSHOT
+release_version = ${base_version}
+staging_version = ${base_version}-STAGING
+snapshot_version = ${base_version}-SNAPSHOT