From 10e48563e2178e67707fa2951f19d47cd47af51b Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Tue, 30 Jun 2015 13:53:57 +0000
Subject: [PATCH] increase the version number for the app

---
 src/ui/android/AndroidManifest.xml | 4 ++--
 1 file 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