Visitar URL original
Enable search shortcuts by miketheman · Pull Request #135 · python/python-docs-theme · GitHub
Skip to content

Enable search shortcuts - #135

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

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

Commits

  1. Commits on Jul 25, 2023