Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mapsme/omim.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorburivuh <burivuh@maps.me>2017-01-25 18:40:43 +0300
committerGitHub <noreply@github.com>2017-01-25 18:40:43 +0300
commit4f25b24bfcbc4267e822af05f5eae1b765353067 (patch)
tree076c63810a5835bf4deaa14025991caa7104fbe8
parent28d03b49e48ec250fac7dd06650f36a97f7684c0 (diff)
parent3a5b86ce9bdd9d93d24c1a1696dccc0eac94efa4 (diff)
Merge pull request #5283 from alexzatsepin/release-71beta-588
[android] Updated version to 7.1.2
-rw-r--r--android/gradle.properties4
1 files changed, 2 insertions, 2 deletions
diff --git a/android/gradle.properties b/android/gradle.properties
index c8f57e4416..98f5a6692b 100644
--- a/android/gradle.properties
+++ b/android/gradle.properties
@@ -4,8 +4,8 @@ propMinSdkVersion=15
propTargetSdkVersion=22
propCompileSdkVersion=23
propBuildToolsVersion=22.0.1
-propVersionCode=711
-propVersionName=7.1.1
+propVersionCode=712
+propVersionName=7.1.2
propDebugNdkFlags=V=1 NDK_DEBUG=1 DEBUG=1
propReleaseNdkFlags=V=1 NDK_DEBUG=0 PRODUCTION=1
org.gradle.daemon=true