]> git.openstreetmap.org Git - nominatim.git/blobdiff - docs/mkdocs.yml
Merge pull request #3006 from biswajit-k/generalize-filter
[nominatim.git] / docs / mkdocs.yml
index ab7dec30508838bc9e2c56c094686e8d186140cc..eb624d8bd18973b67269e9f6bf7cfe5f4e9abbc9 100644 (file)
@@ -51,6 +51,7 @@ nav:
 markdown_extensions:
     - codehilite
     - admonition
+    - pymdownx.superfences
     - def_list
     - toc:
         permalink: 