Skip to content
Snippets Groups Projects
Commit f5c8b490 authored by Markus Blatt's avatar Markus Blatt
Browse files

[bugfix] Distribute and install git-whitespace-hook. 

git-whitespace-hook is called by dune-control which barks if
it is not available. Therefore we distribute and install after
this patch.
parent dd2a9b42
Branches
Tags
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment