8000 Enable search shortcuts by miketheman · Pull Request #135 · python/python-docs-theme · GitHub
[go: up one dir, main page]
Skip to content

Enable search shortcuts#135

Closed
miketheman wants to merge 1 commit intopython:mainfrom
miketheman:search-focus
Closed

Enable search shortcuts#135
miketheman wants to merge 1 commit intopython:mainfrom
miketheman:search-focus

Commits

Commits on Jul 25, 2023
0