Skip to content

feat: allow multiple (dirs ..) stanzas#13734

Merged
anmonteiro merged 3 commits intoocaml:mainfrom
anmonteiro:anmonteiro/multiple-dirs
Apr 6, 2026
Merged

feat: allow multiple (dirs ..) stanzas#13734
anmonteiro merged 3 commits intoocaml:mainfrom
anmonteiro:anmonteiro/multiple-dirs

Commits

Commits on Apr 6, 2026