Code

Fix links in odoc mld files#756

Code

Merged

Halbaroth merged 1 commit intoOCamlPro:nextOCamlPro/alt-ergo:nextfrom bclement-ocp:bclement/mldbclement-ocp/alt-ergo:bclement/mldCopy head branch name to clipboardJul 26, 2023

+15-15

Commits

Commits on Jul 26, 2023

• Fix links in odoc mld files

  bclement-ocp

  committed
  07ec165

  Copy full SHA for 07ec165