]> git.openstreetmap.org Git - nominatim.git/blob - nominatim/db/__init__.py
Merge pull request #3073 from mtmail/vagrantfile-remove-ubuntu-18
[nominatim.git] / nominatim / db / __init__.py