diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-07 00:09:14 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-04-07 00:09:14 +0100 |
commit | 234d6a6e8a4f73ddea627dd4fd78dfb4a91d5a83 (patch) | |
tree | dc2e5376618ae601a4e1623d8e47cb8fc56a7583 /reproduce/src/bash/git-pre-commit | |
parent | b0d709745fd7228ff451a4eb8693798e12e0b1db (diff) |
Copyright notice added to all files missing one
Until now, for short files, we only had a license notice, not an actual
copyright notice. With this commit, a copyright notice has also been
added. We use this new command to find these files, suggested by
`ineiev@gnu.org'.
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
-rw-r--r-- | reproduce/src/bash/git-pre-commit | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/reproduce/src/bash/git-pre-commit b/reproduce/src/bash/git-pre-commit index cd06c25..424df04 100644 --- a/reproduce/src/bash/git-pre-commit +++ b/reproduce/src/bash/git-pre-commit @@ -3,6 +3,8 @@ # The example hook script to store the metadata information of version # controlled files (with each commit) using the `metastore' program. # +# Copyright (C) 2018-2019 Mohammad Akhlaghi. +# # This script is taken from the `examples/hooks/pre-commit' file of the # `metastore' package (installed within the pipeline, with an MIT license # for copyright). We have just changed the name of the `MSFILE' and also |