]> git.openstreetmap.org Git - nominatim.git/commitdiff
Merge pull request #2702 from lonvia/move-country-names-into-includes
authorSarah Hoffmann <lonvia@denofr.de>
Tue, 10 May 2022 07:21:16 +0000 (09:21 +0200)
committerGitHub <noreply@github.com>
Tue, 10 May 2022 07:21:16 +0000 (09:21 +0200)
Clean up country name settings

1  2 
CMakeLists.txt

diff --cc CMakeLists.txt
Simple merge