Skip to content

Accept dune-file as dune file name#4428

Merged
nojb merged 4 commits intoocaml:mainfrom nojb:dune-vs-dune-fileApr 8, 2021

Commits

Commits on Apr 8, 2021