diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-03-27 01:43:10 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-27 01:43:10 +0900 |
commit | 3816bcdfa9cf65f9af6c70bbf7837fd51841ddfa (patch) | |
tree | 343f3beac54f188f225def3a819cb53160562acf /doc/usage/extensions/example_google.py | |
parent | 115358dec346d98e40cbbf7b6636d9141a0da853 (diff) | |
parent | c77ecf5e078f2ba6c856c6c8d0c00866aeda3207 (diff) | |
download | sphinx-git-3816bcdfa9cf65f9af6c70bbf7837fd51841ddfa.tar.gz |
Merge pull request #10283 from tk0miya/10277_search_shortwords
Fix #10277: html search: Could not search short words (ex. "use")
Diffstat (limited to 'doc/usage/extensions/example_google.py')
0 files changed, 0 insertions, 0 deletions