diff options
author | 2019-05-09 10:08:57 +0000 | |
---|---|---|
committer | 2019-05-09 10:08:57 +0000 | |
commit | d44558eaee3cff15f9798ccc14b1642636b77cb0 (patch) | |
tree | 5d9cbb5e42eae593f82a98987916cf58603c975c /version.properties | |
parent | 5ce610d384f5f9bc7ee3dffe07e1b583bb71a96d (diff) | |
parent | 4545e770dd5ab7cab80ea115ed326e60a944cbc4 (diff) |
Merge "Fix model type searching"
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 937711c74..16b9934e3 100644 --- a/version.properties +++ b/version.properties @@ -27,7 +27,7 @@ major=4 minor=0 -patch=0 +patch=1 base_version=${major}.${minor}.${patch} |