projects / dune-common.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed9b4ba) | patch
Rename git-whitespace-hook to dune-git-whitespace-hook.
authorAnsgar Burchardt <ansgar@debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
committerAnsgar Burchardt <ansgar@debian.org>
Tue, 17 Jun 2014 17:46:31 +0000 (18:46 +0100)
commitb7d98806feb8df544705a98bea4278a022525c2e
tree0c8913e678d1e043516a5fc34c7b5a4a0aef51c8tree | snapshot
parented9b4bac166c52e42100aa099f16a142ca2f83aacommit | diff
Rename git-whitespace-hook to dune-git-whitespace-hook.

The name git-whitespace-hook is a bit too generic for a DUNE-specific
tool.

Gbp-Pq: Name rename-git-whitespace-hook.patch
bin/dunecontrol diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.