diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-20 22:48:22 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-20 22:48:22 +0000 |
commit | 54a5ce11a2b225e1bf92c4b25ab420726447344a (patch) | |
tree | 48e5b7b9c2bff2e8d1c87e293249b22cd2e0d1be /reproduce/src/bash/git-pre-commit | |
parent | 78a35fb8e584a970446f9edc1e5cd61398d40958 (diff) |
Cleaner, more managable, build of Bash
The build of bash has been made a little cleaner to help in readability and
management of the code.
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions