diff options
author | 2018-11-16 04:11:52 +0000 | |
---|---|---|
committer | 2018-11-16 04:11:52 +0000 | |
commit | 25548aa66199b3e7cb4e54204a862f97e4ae6d46 (patch) | |
tree | 881301d06b619bb82915489f929b5addacc07764 /version.properties | |
parent | 2e1cf16725fa5f784816f2336c9f5cd60e9baa16 (diff) | |
parent | 21456616d8924b9e7705a05ee1e87cc3dd013a13 (diff) |
Merge "Version bump integration master to 1.4.0-SNAPSHOT"
Diffstat (limited to 'version.properties')
-rw-r--r-- | version.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.properties b/version.properties index ddc6dd849..50547ff5c 100644 --- a/version.properties +++ b/version.properties @@ -3,7 +3,7 @@ # 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_version=3 +major_version=4 minor_version=0 patch_version=0 |