Rename "OpenStreetMap" to "PublicDomainMap" in this file: https://github.com/publicdomainmap/editor/blob/develop/data/core.yaml - Githubissues

publicdomainmap / issues

Report any issues with publicdomainmap here

2 stars 0 forks source link

Rename "OpenStreetMap" to "PublicDomainMap" in this file: https://github.com/publicdomainmap/editor/blob/develop/data/core.yaml #3

Closed jimmyrocks closed 3 years ago

GDMatthews commented 3 years ago

Jimmy finished