]> git.openstreetmap.org Git - nominatim.git/commitdiff
fix: format
authorRomeo <romeo@echo-analytics.io>
Fri, 4 Nov 2022 17:05:40 +0000 (18:05 +0100)
committerRomeo <romeo@echo-analytics.io>
Fri, 4 Nov 2022 17:05:40 +0000 (18:05 +0100)

No differences found