diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-01-28 00:03:54 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-28 00:03:54 +0900 |
commit | af97da37a76e486cdb1302950e2e0462f01a3792 (patch) | |
tree | 8659f0fe5f1f997ed6caf1209884cde0693299f9 /sphinx/application.py | |
parent | 9f2f6b0037b5e6c6ec4c64a52b95c21c858809ab (diff) | |
parent | f937facc69042a163a94f8d84635efeca0783cd0 (diff) | |
download | sphinx-git-af97da37a76e486cdb1302950e2e0462f01a3792.tar.gz |
Merge pull request #8767 from jfbu/8214_duplicate_in_latex_index
Fix #8214: duplicate entries in latex index if term also in glossary
Diffstat (limited to 'sphinx/application.py')
0 files changed, 0 insertions, 0 deletions