Skip to content

dune_file_watcher: do not exclude _opam and _esy systematically#7086

Closed
nojb wants to merge 2 commits intoocaml:mainfrom nojb:_opam

Commits

Commits on Feb 15, 2023