Enable search in docs (#663)

This commit is contained in:
Paul Sanders
2024-05-23 23:03:31 -04:00
committed by GitHub
parent bc786cb9ba
commit e64512a67e

View File

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