diff options
author | 2017-09-12 06:05:56 +0000 | |
---|---|---|
committer | 2017-09-12 06:05:56 +0000 | |
commit | 3f81887f02d36aa434b34546ac974587d09fd7d5 (patch) | |
tree | 78081993fa6dcb4b6b7d27bf8f8cece7683e6037 /vio/version.properties | |
parent | 30fce1031a6cc6cc2d6f27e3e143b4ee938206b0 (diff) | |
parent | 2822de37b0c060dcd96bea9ec3c146da494fb715 (diff) |
Merge "Fix docker building issue"
Diffstat (limited to 'vio/version.properties')
-rw-r--r-- | vio/version.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vio/version.properties b/vio/version.properties index 5128787..7f86aa1 100644 --- a/vio/version.properties +++ b/vio/version.properties @@ -3,7 +3,7 @@ # because they are used in Jenkins, whose plug-in doesn't support major=1 -minor=0 +minor=1 patch=0 base_version=${major}.${minor}.${patch} |