diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-08-24 17:23:13 +0200 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-08-24 17:23:13 +0200 |
| commit | 595626499d20c6e3b297e72c90b5bd3f4d528e8a (patch) | |
| tree | 19b6fd4e9a7d5c0e3f738ef07bac1cf8e36a7453 /reproduce/src/make/Top-Makefile | |
| parent | 7973692b5114d695a45f499f5f1e09b3189e3bfe (diff) | |
Minor edits
After a full trial of the checklist, some further minor edits were made to
make it more clear.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions