Skip to content

feat: Config defaults for dune-project#10835

Merged
rgrinberg merged 18 commits intoocaml:mainfrom H-ANSEN:dune-proj-config-defaultsSep 15, 2024

Commits

Commits on Aug 19, 2024

Commits on Aug 20, 2024

Commits on Aug 21, 2024

Commits on Aug 28, 2024

Commits on Sep 11, 2024

Commits on Sep 13, 2024

Commits on Sep 15, 2024