diff options
author | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-04-29 10:56:26 +0100 |
---|---|---|
committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2019-04-29 10:56:26 +0100 |
commit | 389d6e2862a0ecf0a6d849a915b02a17b304e45a (patch) | |
tree | e30dbeeb83f4fba75c3b3179496fe6a1e01c6c6f /reproduce/software/bash/git-pre-commit | |
parent | 69f94f1022ad5dd3142b2f93d76612e13e0b5820 (diff) |
Modified copyright information of some files
With this commit, the copyright information of some files have been
modify in order to include the work of Raul Infante-Sainz.
Diffstat (limited to 'reproduce/software/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions