Pieter Vander Vennet d0ebd0e233 Merge develop		2023-11-27 16:05:41 +01:00
..
mapcomplete-changes.json	Merge develop	2023-11-27 16:05:41 +01:00
mapcomplete-changes.proto.json	Fix: generating layeroverview; performance: do not try to download ratings if no ratings element is present	2023-11-19 05:05:15 +01:00