]> git.openstreetmap.org Git - nominatim.git/commitdiff
Fixed cosmetic issues
authormiku0 <miku.f.810129@gmail.com>
Mon, 31 Jul 2023 02:39:04 +0000 (02:39 +0000)
committermiku0 <miku.f.810129@gmail.com>
Mon, 31 Jul 2023 02:39:04 +0000 (02:39 +0000)

No differences found