]> git.openstreetmap.org Git - nominatim.git/blob - .gitmodules
Merge pull request #3600 from clavisound/master
[nominatim.git] / .gitmodules