From 66bf2b788c4c15fb2bf1df8a50a6225d845745bd Mon Sep 17 00:00:00 2001 From: Tobias Brunner Date: Tue, 17 Jan 2017 14:43:57 +0100 Subject: [PATCH] android: Handle profile file names with dots in them --- src/frontends/android/app/src/main/AndroidManifest.xml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/frontends/android/app/src/main/AndroidManifest.xml b/src/frontends/android/app/src/main/AndroidManifest.xml index a0c79875f..bc2de9af7 100644 --- a/src/frontends/android/app/src/main/AndroidManifest.xml +++ b/src/frontends/android/app/src/main/AndroidManifest.xml @@ -88,6 +88,9 @@ + + +