Enable search in docs (#663)

This commit is contained in:
Paul Sanders
2024-05-23 23:03:31 -04:00
committed by GitHub
parent 2d6f2830e1
commit 21ce0aa17e

View File

@@ -174,6 +174,7 @@ extra_css:
plugins:
- social
- search
extra:
analytics: