Skip to content

Add "coqdoc_header" and "coqdoc_footer" fields.#11131

Open
rlepigre wants to merge 1 commit intoocaml:mainfrom rlepigre:coqdoc-header-footer
+222-8

Commits

Commits on Nov 22, 2024