Robin ed1746c9f8 delete unused files		2019-03-05 18:01:11 +01:00
..
assets	add themes to license dialog	2017-09-22 11:07:17 +02:00
java	Improved performance of getTimeString	2019-03-04 15:45:59 +01:00
res	delete unused files	2019-03-05 18:01:11 +01:00
AndroidManifest.xml	Merge branch 'dev' into updated-urls	2019-02-19 14:30:34 +01:00