Code

Support new Load_path.init API#377

Code

Merged

kit-ty-kate merged 1 commit intoocaml-community:masterocaml-community/utop:masterfrom dra27:lib-layoutdra27/utop:lib-layoutCopy head branch name to clipboardJun 15, 2022

+13-4

Commits

Commits on Jun 9, 2022

• Support new Load_path.init API

  dra27

  committed
  fbbaec6