set minSdk to 19 and deprecate old player

This commit is contained in:
Christian Schabesberger 2018-11-13 17:27:47 +01:00
parent 51070d9afd
commit 25d6806ebd
11 changed files with 20 additions and 457 deletions

View file

@ -64,12 +64,6 @@
android:key="@string/use_external_audio_player_key"
android:title="@string/use_external_audio_player_title"/>
<SwitchPreference
android:defaultValue="false"
android:key="@string/use_old_player_key"
android:summary="@string/use_old_player_summary"
android:title="@string/use_old_player_title"/>
<SwitchPreference
android:defaultValue="false"
android:key="@string/show_play_with_kodi_key"