Skip to content

Add flag to disable dune diagnostics#1221

Merged
rgrinberg merged 5 commits intoocaml:masterfrom EduardoRFS:5.2-no-duneJan 5, 2024

Commits

Commits on Jan 5, 2024