Merge pull request #7105 from tk0miya/6193_remove_searchresults.html

Fix #6193: Remove searchresults.html
sphinx-doc · Feb 7, 2020 · d4aeae4 · d4aeae4
2 parents 46897c2 + 8438c44
commit d4aeae4
Showing 1 changed file with 0 additions and 36 deletions.
diff --git a/sphinx/themes/basic/searchresults.html b/sphinx/themes/basic/searchresults.html