Skip to content

Add Path.rmtree ?missing_ok and allow non-directories#628

Merged
talex5 merged 1 commit intoocaml-multicore:mainfrom
talex5:rmtree
Oct 6, 2023
Merged

Add Path.rmtree ?missing_ok and allow non-directories#628
talex5 merged 1 commit intoocaml-multicore:mainfrom
talex5:rmtree

Commits

Commits on Oct 6, 2023