mpeltriaux 68e8a0201f Map settings button removed ...

* removes map settings button, since there is no implementation and it is unclear, whether this will ever become a real feature

2022-10-12 10:18:57 +02:00

..

user

Map settings button removed

2022-10-12 10:18:57 +02:00