aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/Top-Makefile
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-08-24 17:23:13 +0200
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-08-24 17:23:13 +0200
commit595626499d20c6e3b297e72c90b5bd3f4d528e8a (patch)
tree19b6fd4e9a7d5c0e3f738ef07bac1cf8e36a7453 /reproduce/src/make/Top-Makefile
parent7973692b5114d695a45f499f5f1e09b3189e3bfe (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