Hosted Weblate 5b84b37ded Merge branch 'origin/dev' into Weblate.		2019-08-29 21:24:08 +02:00
..
assets	add themes to license dialog	2017-09-22 11:07:17 +02:00
java	Add option in history settings to delete playback positions	2019-08-22 21:49:33 +02:00
res	Merge branch 'origin/dev' into Weblate.	2019-08-29 21:24:08 +02:00
AndroidManifest.xml	Merge branch 'dev' into updated-urls	2019-02-19 14:30:34 +01:00