Code

fix: delete stale directory targets#7564

Code

Merged

rgrinberg merged 1 commit intomainocaml/dune:mainfrom ps/rr/fix__delete_stale_directory_targetsocaml/dune:ps/rr/fix__delete_stale_directory_targetsCopy head branch name to clipboardApr 17, 2023

+45-14

Commits

Commits on Apr 17, 2023

• fix: delete stale directory targets

  Show description for 3daeaa3
  rgrinberg

  committed
  3daeaa3