Skip to content
GitLab
Explore
Sign in
Ansgar Burchardt
dune-common-debian
Repository
dune-common-debian
debian
patches
rename-git-whitespace-hook.patch
Find file
Blame
History
Permalink
Rename git-whitespace-hook to dune-git-whitespace-hook.
· a37b4572
Ansgar Burchardt
authored
Jan 15, 2014
The name git-whitespace-hook is a bit too generic for a DUNE-specific tool.
a37b4572