Skip to content

odoc: put odoc support files in odoc.support#7588

Merged
emillon merged 2 commits intoocaml:mainfrom emillon:dot-odoc-supportMay 3, 2023
+9-5

Commits

Commits on May 2, 2023

Commits on May 3, 2023