diff options
| author | krasimir <krasimir@chalmers.se> | 2015-06-30 22:14:12 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-06-30 22:14:12 +0000 |
| commit | fa13e1834c531ea704f54c6398e98f1befb2e2ca (patch) | |
| tree | 6bb27cba7968ee4812eed08e575d4814738cb3e1 /src/ui/android/AndroidManifest.xml | |
| parent | 22773909bf8d0e3e194411e8b9f504a51dae30bf (diff) | |
specify strict APP_PLATFORM to avoid crashes on devices with older android version
Diffstat (limited to 'src/ui/android/AndroidManifest.xml')
| -rw-r--r-- | src/ui/android/AndroidManifest.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ui/android/AndroidManifest.xml b/src/ui/android/AndroidManifest.xml index f0e0c3e64..69c222231 100644 --- a/src/ui/android/AndroidManifest.xml +++ b/src/ui/android/AndroidManifest.xml @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="utf-8"?> <manifest xmlns:android="http://schemas.android.com/apk/res/android" package="org.grammaticalframework.ui.android" - android:versionCode="7" + android:versionCode="9" android:versionName="1.2" android:installLocation="auto" > |