]> git.openstreetmap.org Git - nominatim.git/blob - docs/extra.css
projects / nominatim.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge pull request #1358 from mtmail/travis-php-7dot1
[nominatim.git] / docs / extra.css
1 .toctree-l3 {
2     display: none!important
3 }
Open Source search based on OpenStreetMap data