Skip to content

dune describe external-lib-deps: printing out more information#6839

Merged
emillon merged 3 commits intoocaml:mainfrom moyodiallo:describe-external-libsFeb 6, 2023

Commits

Commits on Feb 2, 2023