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
..
includes
team	#185 Parcel loading on public reports	2022-08-02 09:38:03 +02:00
index.html	Map settings button removed	2022-10-12 10:18:57 +02:00
notifications.html
token.html