Skip to content

adds support for loading plugins in toplevels#6082

Merged
rgrinberg merged 5 commits intoocaml:mainfrom ivg:dune-plugins-toplevelMar 7, 2023

Commits

Commits on Mar 7, 2023