diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2019-02-25 23:58:39 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-25 23:58:39 +0900 |
| commit | e049f86b2de1cfdf8a74c88dc9593d047c85d5cb (patch) | |
| tree | d4517f5e0496d01598337b15f985411e6d364deb /sphinx/ext/coverage.py | |
| parent | fa63dfe0f7a152fae3b2389d1feb3676187dc214 (diff) | |
| parent | 55c5168f338d6a9625c789af6c4b9ab04eb5ec93 (diff) | |
| download | sphinx-git-e049f86b2de1cfdf8a74c88dc9593d047c85d5cb.tar.gz | |
Merge pull request #6091 from remyabel/3620_defer_searchindex
#3620: Defer searchindex.js rather than loading it via ajax
Diffstat (limited to 'sphinx/ext/coverage.py')
0 files changed, 0 insertions, 0 deletions