]> git.openstreetmap.org Git - nominatim.git/blob - docs/extra.css
Merge pull request #1303 from mtmail/remove-deprecated-phpunit-config-key
[nominatim.git] / docs / extra.css
1 .toctree-l3 {
2     display: none!important
3 }