diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-01-18 02:24:34 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-18 02:24:34 +0900 |
| commit | 2be06309518d9401a42880bb5b4321dfdd1e5e90 (patch) | |
| tree | 166f498690413a8463870c3632ef7c7a93c533d6 /sphinx/theming.py | |
| parent | d44ea7027297481b190e0ae0aca88d8eff6b7d3f (diff) | |
| parent | 72bb5c998f780839e0b16b8b2d4997cd04797afd (diff) | |
| download | sphinx-git-2be06309518d9401a42880bb5b4321dfdd1e5e90.tar.gz | |
Merge pull request #10108 from tk0miya/9456_html_show_search_summary
Close #9456: html search: Add a config variable; html_show_search_summary
Diffstat (limited to 'sphinx/theming.py')
0 files changed, 0 insertions, 0 deletions