diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-11-13 02:38:34 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-13 02:38:34 +0900 |
| commit | 0ff323203e0fb4f30b8fc3c1ff3d2b7644c46dc2 (patch) | |
| tree | ad24ea8b375e19d352db2174d928a30fa2c547d3 /sphinx/application.py | |
| parent | 2a26761920e468361a93e0c9f5353b366e048445 (diff) | |
| parent | 339cab76579ee2b9b0c6ed85cdf3f89afe589067 (diff) | |
| download | sphinx-git-0ff323203e0fb4f30b8fc3c1ff3d2b7644c46dc2.tar.gz | |
Merge pull request #8386 from tk0miya/8380_wrap_search_results_with_p
Fix #8380: html search: search results are wrapped with <p> instead of <div>
Diffstat (limited to 'sphinx/application.py')
0 files changed, 0 insertions, 0 deletions