bin/dunecontrol · da691e8988d9cd3acf79795c66766f191cc7ddf8 · Tobias Leibner / dune-common · GitLab

Snippets Groups Projects

Forked from Core Modules / dune-common

Source project has a limited visibility.

5 years ago
b5da76ba
Rename git-whitespace-hook to dune-git-whitespace-hook. · b5da76ba
Ansgar Burchardt authored 5 years ago and Christoph Grüninger committed 5 years ago
```
The name git-whitespace-hook is a bit too generic for a DUNE-specific
tool.
```
b5da76ba

History
Rename git-whitespace-hook to dune-git-whitespace-hook.
Ansgar Burchardt authored 5 years ago and Christoph Grüninger committed 5 years ago
```
The name git-whitespace-hook is a bit too generic for a DUNE-specific
tool.
```