diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-01-11 20:48:54 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-11 20:48:54 +0900 |
| commit | 98993b40c5451a6db84b4c1e8549c03a9ee24677 (patch) | |
| tree | 0b675c5f724e4aa9087432ba2dafb72e7a83cd12 /sphinx/config.py | |
| parent | 6e445e117548dffcbb200d8200d09db6f673a3f7 (diff) | |
| parent | d7cdb9e22dbf57a3673d4d765dad5246ad878081 (diff) | |
| download | sphinx-git-98993b40c5451a6db84b4c1e8549c03a9ee24677.tar.gz | |
Merge pull request #8672 from tk0miya/8671_highlight_options_not_working
Fix #8671: highlight_options is not working
Diffstat (limited to 'sphinx/config.py')
0 files changed, 0 insertions, 0 deletions