Forked from
Core Modules / dune-common
4399 commits behind the upstream repository.
-
Markus Blatt authored
git-whitespace-hook is called by dune-control which barks if it is not available. Therefore we distribute and install after this patch.
Markus Blatt authoredgit-whitespace-hook is called by dune-control which barks if it is not available. Therefore we distribute and install after this patch.
Makefile.am 371 B