Code

Add Path.{basename,dirname}#648

Code

Closed

mbarbin wants to merge 2 commits intoocaml-multicore:mainocaml-multicore/eio:mainfrom mbarbin:path-utilsmbarbin/eio:path-utilsCopy head branch name to clipboard

+122

Commits

Commits on Dec 8, 2023

• Add Path.{basename,dirname}

  mbarbin

  committed
  b08cf67

  Copy full SHA for b08cf67

Commits on Dec 9, 2023

• Change Path.dirname to return a path

  mbarbin

  committed
  cf1c403

  Copy full SHA for cf1c403