Skip to content

latex backend: full path in heading labels#1332

Open
Octachron wants to merge 1 commit intoocaml:masterfrom Octachron:odoc_latex_section_label_fix

Commits

Commits on Mar 18, 2025