TobiGr 7cd5af5e72 Add option in history settings to delete playback positions		2019-08-22 21:49:33 +02:00
..
src	Add option in history settings to delete playback positions	2019-08-22 21:49:33 +02:00
.gitignore
build.gradle	use newerextractor	2019-08-22 11:39:32 +02:00
proguard-rules.pro