Code

Change old Inria URL with ocaml.org#309

Code

Merged

aantron merged 2 commits intoaantron:masteraantron/dream:masterfrom denver-s:fix-inria-urlCopy head branch name to clipboardDec 25, 2023

+25-30

Commits

Commits on Dec 25, 2023

• Docs: replace inria.fr URLs with ocaml.org URLs

  Show description for a5ea88d
  

  denver-s

  authored and

  aantron

  committed
  a5ea88d

• Docs: reflow text in .mli files

  aantron

  committed
  7e7be0a