aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/bash/git-pre-commit
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-12 15:51:26 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-12 15:51:26 +0100
commit41c444a1a0fcff2aaa5c9b0dd2fc1e6b3aaf6de1 (patch)
treef18889a878d752562246218c0f8e89a61fdedf2b /reproduce/software/bash/git-pre-commit
parentb177c7e99cdf605fd826d4f0f2026251e42ce164 (diff)
parent1442a5ebe5f9ca66f25c0f0a585c6ac4083101d8 (diff)
Imported recent corrections, no conflicts
Some recent corrections that were done by Raul are now merged into the pipeline. There weren't any conflicts.
Diffstat (limited to 'reproduce/software/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions