TobiGr 7cd5af5e72 Add option in history settings to delete playback positions		2019-08-22 21:49:33 +02:00
..
appearance_settings.xml	Fix padding in settings layout (Fixes #1866)	2019-02-08 17:33:35 -06:00
content_settings.xml	updated extractor, fixed settings padding	2019-02-20 05:24:33 +05:30
debug_settings.xml	Fix padding in settings layout (Fixes #1866)	2019-02-08 17:33:35 -06:00
download_settings.xml	add manual switch in download setting fragment	2019-08-17 13:38:33 -03:00
history_settings.xml	Add option in history settings to delete playback positions	2019-08-22 21:49:33 +02:00
main_settings.xml	Fix padding in settings layout (Fixes #1866)	2019-02-08 17:33:35 -06:00
provider_paths.xml	Java language level + javadoc + xml	2018-09-11 19:20:10 +02:00
update_settings.xml	Fix padding in settings layout (Fixes #1866)	2019-02-08 17:33:35 -06:00
video_audio_settings.xml	Fix padding in settings layout (Fixes #1866)	2019-02-08 17:33:35 -06:00