diff options
author | GuangrongFu <fu.guangrong@zte.com.cn> | 2021-03-25 10:48:09 +0800 |
---|---|---|
committer | GuangrongFu <fu.guangrong@zte.com.cn> | 2021-04-13 08:24:19 +0800 |
commit | d988872a6bc3d7edfd872b035efb1199956d628f (patch) | |
tree | d22cc7ed739db400cf978944adbd5754ba10199c /version.properties | |
parent | 0d25d710fd7a2c947e8be050c8e1e779c8aebb08 (diff) |
Bumped Version to 1.3.1
Change-Id: I64fbaf6793bd519a3d672b7c2b7eaa60f12a8914
Issue-ID: HOLMES-427
Signed-off-by: GuangrongFu <fu.guangrong@zte.com.cn>
Diffstat (limited to 'version.properties')
-rw-r--r-- | version.properties | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/version.properties b/version.properties index e4b2e4a..fb21064 100644 --- a/version.properties +++ b/version.properties @@ -1,13 +1,13 @@ -# Versioning variables
-# 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=1
-minor=2
-patch=9
-
-base_version=${major}.${minor}.${patch}
-
-# Release must be completed with git revision # in Jenkins
-release_version=${base_version}
-snapshot_version=${base_version}-SNAPSHOT
+# Versioning variables +# 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=1 +minor=3 +patch=1 + +base_version=${major}.${minor}.${patch} + +# Release must be completed with git revision # in Jenkins +release_version=${base_version} +snapshot_version=${base_version}-SNAPSHOT |