Skip to content

support DUNE_DIFF_COMMAND environment variable#5375

Merged
bobot merged 1 commit intoocaml:mainfrom raphael-proust:dune-diff-command-env-varJan 31, 2022
+8-3

Commits

Commits on Jan 31, 2022