diff options
| author | krasimir <krasimir@chalmers.se> | 2015-06-30 13:53:57 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-06-30 13:53:57 +0000 |
| commit | a2bf81a2ca49f813a071371f1a58b7fc4900a7a9 (patch) | |
| tree | 786a3992bd92760cdb58f1086b4aa5f5c3ce1409 /src/ui | |
| parent | 5b0f7d81ccbe1362661b36aa9d3f8400d648ad7a (diff) | |
increase the version number for the app
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/android/AndroidManifest.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ui/android/AndroidManifest.xml b/src/ui/android/AndroidManifest.xml index ecf8ba8c0..f0e0c3e64 100644 --- a/src/ui/android/AndroidManifest.xml +++ b/src/ui/android/AndroidManifest.xml @@ -1,8 +1,8 @@ <?xml version="1.0" encoding="utf-8"?> <manifest xmlns:android="http://schemas.android.com/apk/res/android" package="org.grammaticalframework.ui.android" - android:versionCode="6" - android:versionName="1.1" + android:versionCode="7" + android:versionName="1.2" android:installLocation="auto" > <uses-sdk |