diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-01-24 14:30:06 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-24 14:30:06 +0900 |
commit | becf8f43befe8a1528552106848c0e369b7fba9a (patch) | |
tree | 074b47ff20bed49a03ac1ffe6dec42b830e9da9b /sphinx/application.py | |
parent | 3a0a6556c59a7b31586dd97b43101f8dbfd2ef63 (diff) | |
parent | 15cbc6dbb0b07aaa43ed95fa7fcc7bb8fe107a4e (diff) | |
download | sphinx-git-becf8f43befe8a1528552106848c0e369b7fba9a.tar.gz |
Merge pull request #8599 from tk0miya/6550_html_permalinks_icon
Close #6550: html: Allow to use HTML permalink texts
Diffstat (limited to 'sphinx/application.py')
0 files changed, 0 insertions, 0 deletions