Jakob Nixdorf cdf567959e Don't recreate the SettingsActivity when the highlight option changes		2019-10-31 07:25:42 +01:00
..
src	Don't recreate the SettingsActivity when the highlight option changes	2019-10-31 07:25:42 +01:00
.gitignore	initial code dump	2015-11-23 22:20:14 +01:00
build.gradle	Bump to version 0.6.3.1	2019-10-19 10:04:22 +02:00
proguard-rules.pro	initial code dump	2015-11-23 22:20:14 +01:00