diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-19 23:30:26 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-19 23:30:26 +0000 |
| commit | e3bbc17c051c7ccbf9e5375b85c90e5e41af2adb (patch) | |
| tree | 7bca5ffe2d25d1f383df2972e54d3a8217dbc80c /reproduce/software/bash/git-post-checkout | |
| parent | 8cfc728ecfb81775fd7bcfde887d1fccc4e4e8ad (diff) | |
GNU Make updated to version 4.3
GNU Make 4.3 was just announced, so I have updated it here is well. This
was important because until now the installable version was in alpha-mode
(4.2.90), now its a stable version.
Diffstat (limited to 'reproduce/software/bash/git-post-checkout')
0 files changed, 0 insertions, 0 deletions