Jules Aguillon 816269aed0 Remove unused editing keys from the settings ...

These keys don't seem to have a purpose, which is confusing.

2023-09-03 15:05:23 +02:00

..

strings.xml

Remove unused editing keys from the settings

2023-09-03 15:05:23 +02:00