Skip to content

feature: dune show targets and dune show aliases#7770

Merged
rgrinberg merged 1 commit intoocaml:mainfrom Alizter:ps/branch/feature__dune_targetsJun 17, 2023

Commits

Commits on Jun 17, 2023