Skip to content

Add dune-project generation to dune init#4881

Merged
shonfeder merged 28 commits intomainfrom 4702/encode-dune-projectSep 27, 2021

Commits

Commits on Sep 27, 2021