diff options
| author |   Robin H. Johnson <robbat2@gentoo.org> | 2019-12-15 22:27:23 -0800 |
|---|---|---|
| committer | Robin H. Johnson <robbat2@gentoo.org> | 2019-12-15 22:27:23 -0800 |
| commit | 52a3b75556d50bbfcf45617e2f573d83246ed0ff (patch) | |
| tree | ae142052a95f88b5b667158a81ed042c63d2c399 /local/update-05-manifest | |
| parent | label-files: make it easier to label files with repo (diff) | |
| download | githooks-52a3b75556d50bbfcf45617e2f573d83246ed0ff.tar.gz githooks-52a3b75556d50bbfcf45617e2f573d83246ed0ff.tar.bz2 githooks-52a3b75556d50bbfcf45617e2f573d83246ed0ff.zip | |
local: relabel files copied from git-gx86-tools
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Diffstat (limited to 'local/update-05-manifest')
| -rwxr-xr-x | local/update-05-manifest | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/local/update-05-manifest b/local/update-05-manifest index 236c78f..8ae0bc4 100755 --- a/local/update-05-manifest +++ b/local/update-05-manifest @@ -1,4 +1,5 @@ #!/bin/bash +# gentoo-infra: infra/githooks.git:update-05-manifest # Copyright 2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 or later |