Jakob Nixdorf 73772126b8 Make the font size of the labels configurable ... Closes #18		2017-07-30 21:42:07 +02:00
..
src	Make the font size of the labels configurable	2017-07-30 21:42:07 +02:00
.gitignore	initial code dump	2015-11-23 22:20:14 +01:00
build.gradle	Make the font size of the labels configurable	2017-07-30 21:42:07 +02:00
proguard-rules.pro	initial code dump	2015-11-23 22:20:14 +01:00