diff options
| author | Sevz <leohdz172@protonmail.com> | 2022-06-14 15:43:09 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-14 15:43:09 -0500 |
| commit | 8076b47cc6eb6019d7c6fb15cc95b2ba6519da92 (patch) | |
| tree | 6e2ac77c8565cea3ea0d87cf1c71fc60d5058717 /config.mk | |
| parent | 3a77f0291965abde2fdb1a7ef7297e86a13e8629 (diff) | |
| parent | 671a9b450b636f5a2ebfefe159fea44e3b615fad (diff) | |
Merge pull request #251 from gwnichol/fixinstall
Fix make install while files are in use
Diffstat (limited to 'config.mk')
0 files changed, 0 insertions, 0 deletions