mirror of
https://github.com/qodo-ai/pr-agent.git
synced 2025-12-15 12:25:18 +00:00
Uncomment search plugin in mkdocs configuration
This commit is contained in:
parent
8a45e41749
commit
15b2b57677
1 changed files with 1 additions and 1 deletions
|
|
@ -107,7 +107,7 @@ theme:
|
||||||
|
|
||||||
plugins:
|
plugins:
|
||||||
- social
|
- social
|
||||||
# - search
|
- search
|
||||||
- glightbox
|
- glightbox
|
||||||
|
|
||||||
extra:
|
extra:
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue