Skip to content

Fix dune path in nested shells#13

Merged
gridbugs merged 1 commit intoocaml-dune:mainfrom
gridbugs:fix-dune-path-in-nested-shells
Aug 18, 2025
Merged

Fix dune path in nested shells#13
gridbugs merged 1 commit intoocaml-dune:mainfrom
gridbugs:fix-dune-path-in-nested-shells

Commits

Commits on Aug 15, 2025