diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-03 15:24:08 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-03 15:24:08 +0000 |
| commit | daeb41ba00427d28e22169381bc21b1ad784d087 (patch) | |
| tree | 8a3267559a0f5c8dc63fae16ae2bc65d8ab6715e /reproduce/software/shell/git-pre-commit | |
| parent | 281ad23c2218560bcdfe3e76cf61f4901f76b257 (diff) | |
| parent | b1bd282bc3bcd11573fc064edfbab1bd65564348 (diff) | |
Imported recent updates in Maneage, minor conflicts fixed
There were only three very small conflicts that have been fixed.
Diffstat (limited to 'reproduce/software/shell/git-pre-commit')
| -rwxr-xr-x | reproduce/software/shell/git-pre-commit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/software/shell/git-pre-commit b/reproduce/software/shell/git-pre-commit index 9d550db..85d3474 100755 --- a/reproduce/software/shell/git-pre-commit +++ b/reproduce/software/shell/git-pre-commit @@ -4,7 +4,7 @@ # controlled files (with each commit) using the `metastore' program. # # Copyright (C) 2016 Przemyslaw Pawelczyk <przemoc@gmail.com> -# Copyright (C) 2018-2020 Mohammad Akhlaghi <mohammad@akhlaghi.org> +# Copyright (C) 2018-2021 Mohammad Akhlaghi <mohammad@akhlaghi.org> # # WARNING: # |