mirror of
https://github.com/qodo-ai/pr-agent.git
synced 2025-12-12 02:45:18 +00:00
feat: update docs search API endpoint to production URL
This commit is contained in:
parent
775bfc74eb
commit
da6ef8c80f
1 changed files with 2 additions and 2 deletions
|
|
@ -74,8 +74,8 @@ theme:
|
||||||
- navigation.top
|
- navigation.top
|
||||||
- navigation.tracking
|
- navigation.tracking
|
||||||
- navigation.indexes
|
- navigation.indexes
|
||||||
# - search.suggest
|
- search.suggest
|
||||||
# - search.highlight
|
- search.highlight
|
||||||
- content.tabs.link
|
- content.tabs.link
|
||||||
- content.code.annotation
|
- content.code.annotation
|
||||||
- content.code.copy
|
- content.code.copy
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue