Skip to content

Mark dune as a non-build dependency#14266

Merged
kit-ty-kate merged 4 commits intoocaml:masterfrom
kit-ty-kate:dune-rm-build
Jul 13, 2019
Merged

Mark dune as a non-build dependency#14266
kit-ty-kate merged 4 commits intoocaml:masterfrom
kit-ty-kate:dune-rm-build