diff options
author | 2019-12-14 07:30:02 -0800 | |
---|---|---|
committer | 2019-12-14 07:30:02 -0800 | |
commit | 8092672eb2bb813648201e8e53810b1a86fc72d1 (patch) | |
tree | 0cb41ff7e3d10948e74e05a54aa2676937b04430 /local/update-03-filename | |
parent | local/gentoo_push_notification.py: convert to python3 (diff) | |
download | githooks-8092672eb2bb813648201e8e53810b1a86fc72d1.tar.gz githooks-8092672eb2bb813648201e8e53810b1a86fc72d1.tar.bz2 githooks-8092672eb2bb813648201e8e53810b1a86fc72d1.zip |
local: tag files to trace remaining cfengine usage
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Diffstat (limited to 'local/update-03-filename')
-rwxr-xr-x | local/update-03-filename | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/local/update-03-filename b/local/update-03-filename index da2c8ff..5558029 100755 --- a/local/update-03-filename +++ b/local/update-03-filename @@ -1,4 +1,5 @@ #!/bin/bash +# gentoo-infra: infra/githooks.git:local/update-03-filename # Copyright 2015-2017 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 or later |