Code

fix: print "Leaving Directory"#6419

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/fix__print__leaving_directory_ocaml/dune:ps/rr/fix__print__leaving_directory_Copy head branch name to clipboardNov 18, 2022

+117-4

Commits

Commits on Nov 18, 2022

• fix: print "Leaving Directory"

  Show description for 77a2a61
  

  cpitclaudel

  authored and

  rgrinberg

  committed
  77a2a61