diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-09-17 12:45:00 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-09-17 12:45:00 +0000 |
| commit | 2a49e4e1d64ef2df0bb2a8a3822f7fa1048e687f (patch) | |
| tree | a4584c3831aac1a692c8be37c0c6747480874c00 /src/ui/android/AndroidManifest.xml | |
| parent | f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 (diff) | |
a major refactoring in the C runtime. GuList is now removed and replaced with GuSeq. The GuSeq/GuBuf API is simplified
Diffstat (limited to 'src/ui/android/AndroidManifest.xml')
| -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 6f48b1186..9fef8e112 100644 --- a/src/ui/android/AndroidManifest.xml +++ b/src/ui/android/AndroidManifest.xml @@ -2,7 +2,7 @@ <manifest xmlns:android="http://schemas.android.com/apk/res/android" package="org.grammaticalframework.ui.android" android:versionCode="1" - android:versionName="1.0" > + android:versionName="1.0"> <uses-sdk android:minSdkVersion="8" @@ -12,7 +12,7 @@ android:allowBackup="true" android:icon="@drawable/ic_launcher" android:label="@string/app_name" - android:theme="@style/AppTheme" > + android:theme="@style/AppTheme"> <activity android:name="org.grammaticalframework.ui.android.MainActivity" android:label="@string/app_name" > |