]> git.openstreetmap.org Git - nominatim.git/blob - .gitmodules
Merge pull request #3555 from IvanShift/patch-1
[nominatim.git] / .gitmodules