diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-01-24 14:00:13 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-24 14:00:13 +0900 |
| commit | ee5560b7739932d0a7735be0cc81f28d76a61e92 (patch) | |
| tree | 08ef05255d52f25da34eefc0af20ff6112d3cc1c /sphinx/application.py | |
| parent | 37fc43a4d389e173902207e753f4c9e28465e454 (diff) | |
| parent | a957d6f7108f2ada9f5c9314d2077f6ccba1fe57 (diff) | |
| download | sphinx-git-ee5560b7739932d0a7735be0cc81f28d76a61e92.tar.gz | |
Merge pull request #8732 from tk0miya/refactor_documentation_options
refactor: html theme: Insert documentation_options.js via script_files
Diffstat (limited to 'sphinx/application.py')
0 files changed, 0 insertions, 0 deletions