Skip to content

New docs search export#439

Merged
digaobarbosa merged 3 commits intomainfrom
new-docs-search-export
Feb 18, 2026
Merged

New docs search export#439
digaobarbosa merged 3 commits intomainfrom
new-docs-search-export

Conversation

@digaobarbosa
Copy link
Contributor

What does this PR do?

New docs for functionality on #438

Type of Change

  • Documentation update

Testing

  • I have tested this change locally

Checklist

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have commented my code where necessary, particularly in hard-to-understand areas
  • My changes generate no new warnings or errors
  • I have updated the documentation accordingly (if applicable)

Additional Context

@digaobarbosa digaobarbosa self-assigned this Feb 18, 2026
@digaobarbosa digaobarbosa marked this pull request as ready for review February 18, 2026 16:31
@digaobarbosa digaobarbosa merged commit 53d41a2 into main Feb 18, 2026
15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments