Skip to content

Improve "dune describe external-lib-deps" : printing out more information #7478

Merged
emillon merged 6 commits intoocaml:mainfrom moyodiallo:internal-dune-describe-externalsJul 24, 2023

Commits

Commits on Jul 24, 2023