jens 146d36f246 Merge branch 'development-patch' into development

2026-08-09 15:04:24 +02:00

..

java

Merge branch 'development-patch' into development

2026-08-09 15:04:24 +02:00

res

Distinction between settings

2026-05-14 20:22:58 +02:00

AndroidManifest.xml

…