Skip to content

docs: update search#1902

Merged
XhmikosR merged 1 commit intomainfrom
xmr/docs-search
Dec 17, 2023
Merged

docs: update search#1902
XhmikosR merged 1 commit intomainfrom
xmr/docs-search

Conversation

@XhmikosR
Copy link
Copy Markdown
Member

@XhmikosR XhmikosR commented Dec 17, 2023

Followup to #1889

@XhmikosR XhmikosR marked this pull request as ready for review December 17, 2023 13:15
@XhmikosR XhmikosR merged commit 6d8e947 into main Dec 17, 2023
@XhmikosR XhmikosR deleted the xmr/docs-search branch December 17, 2023 13:16
@XhmikosR XhmikosR added the docs Improvements or additions to documentation label Dec 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docs Improvements or additions to documentation

Projects

No open projects
Status: No status

Development

Successfully merging this pull request may close these issues.

1 participant