Skip to content

Fix #8214: duplicate entries in latex index if term also in glossary#8767

Merged
tk0miya merged 1 commit intosphinx-doc:3.xfrom jfbu:8214_duplicate_in_latex_indexJan 27, 2021

Commits

Commits on Jan 26, 2021