keys.scala, etc.: Make merging public keys have a progress bar.

[tripe-android] / AndroidManifest.xml

<?xml version="1.0" encoding="utf-8"?>

<manifest
    xmlns:android="http://schemas.android.com/apk/res/android"
    package="uk.org.distorted.tripe"
    android:installLocation="internalOnly">
  <uses-permission android:name="android.permission.ACCESS_NETWORK_STATE"/>
  <uses-permission android:name="android.permission.INTERNET"/>

  <application
      android:icon="@drawable/icon"
      android:label="@string/auto_package">
    <activity
	android:label="@string/auto_package"
	android:name=".ToyActivity">
      <intent-filter>
	<action android:name="android.intent.action.MAIN"/>
	<category android:name="android.intent.category.LAUNCHER"/>
      </intent-filter>
    </activity>
  </application>
</manifest>