Skip to content

Use :standard in dune flags stanza#44

Merged
xguerin merged 1 commit intoxguerin:masterfrom
PerfectLaugh:master
Nov 11, 2025
Merged

Use :standard in dune flags stanza#44
xguerin merged 1 commit intoxguerin:masterfrom
PerfectLaugh:master

Commits

Commits on Nov 11, 2025