From b99764128aec28d4c30f07371852556d9d31151a Mon Sep 17 00:00:00 2001 From: Javier Date: Fri, 16 Apr 2021 22:43:35 +0200 Subject: add menu option to launch ant+ plugin manager --- app/src/main/AndroidManifest.xml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'app/src/main/AndroidManifest.xml') diff --git a/app/src/main/AndroidManifest.xml b/app/src/main/AndroidManifest.xml index cc27544..3e81d66 100644 --- a/app/src/main/AndroidManifest.xml +++ b/app/src/main/AndroidManifest.xml @@ -11,7 +11,9 @@ android:theme="@style/Theme.Rempe"> + android:label="@string/settings_title" + android:parentActivityName=".MainActivity"> +