diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-02-08 01:30:28 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-08 01:30:28 +0900 |
| commit | d4aeae475943aef9b935f7487baf90ccc1c58b42 (patch) | |
| tree | 285b63d7d85fc7158cbe88f798f3b816e8e88887 /sphinx/config.py | |
| parent | 46897c2acf1f2056dff479ec705e2899d86118c6 (diff) | |
| parent | 8438c442714cddff2f6b1e3b0fc7736b76e7b352 (diff) | |
| download | sphinx-git-d4aeae475943aef9b935f7487baf90ccc1c58b42.tar.gz | |
Merge pull request #7105 from tk0miya/6193_remove_searchresults.html
Fix #6193: Remove searchresults.html
Diffstat (limited to 'sphinx/config.py')
0 files changed, 0 insertions, 0 deletions