Skip to content

Compatibility with odoc.2.4.1#128

Merged
sabine merged 1 commit intoocaml-doc:mainfrom
gpetiot:odoc.2.3.0
Mar 26, 2024
Merged

Compatibility with odoc.2.4.1#128
sabine merged 1 commit intoocaml-doc:mainfrom
gpetiot:odoc.2.3.0

Commits

Commits on Feb 13, 2024