diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-03-26 23:16:13 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-03-27 00:13:18 +0200 |
| commit | 2fccc0d193497eb2ee3127270dea12be103f1bc2 (patch) | |
| tree | bc1ab38eb721c43cd8f37a3a9a01d71ffdca13e9 /etc | |
| parent | 5d073bdb0501f2ff88af1d8a6b0add90a9e97427 (diff) | |
| download | guix-2fccc0d193497eb2ee3127270dea12be103f1bc2.tar.gz guix-2fccc0d193497eb2ee3127270dea12be103f1bc2.zip | |
maint: Give command to install the pre-push hook.
* HACKING: Add 'cp' line to install the pre-push hook.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions