Skip to content

Advertise that odoc parser has moved to odoc repo#19

Open
panglesd wants to merge 1 commit intoocaml-doc:mainfrom
panglesd:disclaimer-move-to-odoc
Open

Advertise that odoc parser has moved to odoc repo#19
panglesd wants to merge 1 commit intoocaml-doc:mainfrom
panglesd:disclaimer-move-to-odoc

Commits

Commits on Oct 19, 2023