--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/android/michelson.studio/michelson/src/main/AndroidManifest.xml	Fri Nov 22 09:40:16 2019 +0100
@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="utf-8"?>
+<manifest
+    xmlns:android="http://schemas.android.com/apk/res/android"
+    package="hh.michelson"
+    >
+
+    <application
+        android:label="@string/app_name"
+        android:allowBackup="true"
+        android:icon="@mipmap/ic_launcher"
+        android:theme="@android:style/Theme.Holo.Light.NoActionBar"
+        >
+
+        <activity
+            android:name=".A"
+            >
+
+            <intent-filter>
+                <action android:name="android.intent.action.MAIN"/>
+                <category android:name="android.intent.category.LAUNCHER"/>
+            </intent-filter>
+
+        </activity>
+
+    </application>
+
+</manifest>