Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Support DocSearch integration #93

Open
1 task done
unknwon opened this issue Apr 28, 2022 · 0 comments
Open
1 task done

Support DocSearch integration #93

unknwon opened this issue Apr 28, 2022 · 0 comments
Labels
🎯 feature Categorizes as related to a new feature

Comments

@unknwon
Copy link
Member

unknwon commented Apr 28, 2022

Describe the feature

Integrate DocSearch.

Describe the solution you'd like

The prototype has been laid out in the jc/docsearch branch.

Describe alternatives you've considered

n/a

Additional context

No response

Code of Conduct

  • I agree to follow this project's Code of Conduct
@unknwon unknwon added the 🎯 feature Categorizes as related to a new feature label Apr 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🎯 feature Categorizes as related to a new feature
Projects
Status: No status
Development

No branches or pull requests

1 participant