Merge branch 'dev' into playlist_peertube

This commit is contained in:
bopol 2020-05-31 12:26:46 +02:00 committed by GitHub
commit 596eb4a0f9
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
865 changed files with 2627 additions and 2137 deletions

View file

@ -21,6 +21,7 @@
android:icon="@mipmap/ic_launcher"
android:label="@string/app_name"
android:logo="@mipmap/ic_launcher"
android:requestLegacyExternalStorage="true"
android:theme="@style/OpeningTheme"
tools:ignore="AllowBackup">
<activity