Skip to content
Snippets Groups Projects
Commit 25dd2d66 authored by Ansgar Burchardt's avatar Ansgar Burchardt
Browse files

[!702] dunecontrol: printdeps: use pretty module name 

Merge branch 'dunecontrol-printdeps-pretty-module-name' into 'master'

See merge request [!702]

  [!702]: Nonecore/dune-common/merge_requests/702
parents d7e023c2 a14a47d6
No related branches found
No related tags found
Pipeline #20820 passed
Stage: test
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment