Use (format-dune-file) instead of dune format-dune-file#1338
Merged
jonludlam merged 2 commits intoocaml:masterfrom Jul 4, 2025
Merged
Use (format-dune-file) instead of dune format-dune-file#1338jonludlam merged 2 commits intoocaml:masterfrom
(format-dune-file) instead of dune format-dune-file#1338jonludlam merged 2 commits intoocaml:masterfrom
Commits
Commits on Jul 4, 2025
- authored andcommitted
- authored andcommitted
