Merge branch 'develop' of github.com:pietervdvn/MapComplete into develop

This commit is contained in:
Pieter Vander Vennet 2022-02-16 02:31:39 +01:00
commit bf05a88afd
7 changed files with 75 additions and 353 deletions

View file

@ -19,6 +19,7 @@
}
},
"export_as_gpx",
"export_as_geojson",
"minimap",
{
"id": "delete",