Skip to content

Fixing an issue with the function Xml_print.compose_decl.#348

Open
Mbodin wants to merge 1 commit intoocsigen:masterfrom
Mbodin:master
Open

Fixing an issue with the function Xml_print.compose_decl.#348
Mbodin wants to merge 1 commit intoocsigen:masterfrom
Mbodin:master

Commits

Commits on Sep 11, 2025