diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-01 12:52:22 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-01 12:52:22 +0100 |
| commit | 8f0ce4a1edae4db08853c80ce9fdbc18598a0c43 (patch) | |
| tree | 71d83d1d03886fc20a1f331979ed1b3866fca0b8 /reproduce/analysis/make/delete-me.mk | |
| parent | bff9cb568f7442951e8cac501cc035f443d7d2f0 (diff) | |
| parent | 43816863335cc44714448d8e51dd0f83b3e2b12e (diff) | |
Merged David's suggestions, further edited to be more clear
It is also slightly shorter with this commit, without loosing anything
substantial.
Diffstat (limited to 'reproduce/analysis/make/delete-me.mk')
0 files changed, 0 insertions, 0 deletions