Skip to content

Add dune-find-dominating command to dune.el#12696

Open
arvidj wants to merge 1 commit intoocaml:mainfrom
arvidj:aj/dune.el-find-dominating
Open

Add `dune-find-dominating` command to `dune.el`#12696
arvidj wants to merge 1 commit intoocaml:mainfrom
arvidj:aj/dune.el-find-dominating

Commits

Commits on Nov 19, 2025