diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2020-02-22 13:52:32 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-22 13:52:32 +0900 |
| commit | 31a4bfbf0dca5a4137a03395834a21f287eaabdc (patch) | |
| tree | 2e584f1bf1f245e9a3f9eea37622e762599c95f5 /sphinx/ext/coverage.py | |
| parent | 41603351dad6e76a3c7ef4421bd2057654ae9d2b (diff) | |
| parent | 6d902393935b100c231879e417bab94760aa5df4 (diff) | |
| download | sphinx-git-31a4bfbf0dca5a4137a03395834a21f287eaabdc.tar.gz | |
Merge pull request #7192 from vsalvino/searchfix
Fix search in dirhtml output
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions