Helium314 5378d8d0a3 add another option to the "more letters with diacritics" settings ... with letters that used to be default in many languages now this setting is default		2024-07-12 20:55:38 +02:00
..
src	add another option to the "more letters with diacritics" settings	2024-07-12 20:55:38 +02:00
build.gradle	update translations and version	2024-06-30 16:48:09 +02:00
proguard-rules.pro	remove unused annotations	2024-02-01 22:42:25 +01:00