Skip to content

dune-project: Add the (subst disabled/enabled) stanza#4864

Merged
rgrinberg merged 4 commits intoocaml:mainfrom kit-ty-kate:subst-disabledAug 23, 2021

Commits

Commits on Aug 23, 2021