sk 58e0ce3970 add tooltips		2023-10-08 16:36:56 +02:00
..
src	add tooltips	2023-10-08 16:36:56 +02:00
.editorconfig	Merge upstream redesign (#714)	2023-07-16 18:01:42 +02:00
.gitignore	…
build.gradle	bump version	2023-10-07 23:47:01 +02:00
proguard-rules.pro	workaround for proguard errors	2023-06-15 18:12:29 +02:00