]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - mainActivity/AndroidManifest.xml
Dirty hack to improve size computation for hypotheses.
[logicplayer.git] / mainActivity / AndroidManifest.xml
index 4eb25ff3316c03749726c32c8c60eb762319bb9d..b9b6088c16e4f532f15f9423dbe4afeb04489ee9 100755 (executable)
@@ -2,7 +2,7 @@
 <manifest xmlns:android="http://schemas.android.com/apk/res/android"
     package="com.example.furt.myapplication" >
     <uses-sdk
-        android:minSdkVersion="19"
+        android:minSdkVersion="16"
         android:targetSdkVersion="19" />
     <uses-permission android:name="android.permission.INTERNET" />
     <application