Add info in popups; fix some capitals in geoJSONs

This commit is contained in:
2024-03-21 13:36:36 +01:00
parent 6364228c89
commit 60022cbba8
3 changed files with 40 additions and 39 deletions

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long