aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src/make/Top-Makefile
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 14:09:21 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 14:09:21 +0000
commit68304f6eb47c1369c8fba6dc7a62261d90d102bc (patch)
tree042cb2f04800bd7a7079ee4683c0acc006468b41 /reproduce/src/make/Top-Makefile
parentfc909fe92ed69417c7b75581cae5179d451bc46e (diff)
Minor edit/correction in README.md
The note to the pipeline designers was corrected to display properly on Gitlab.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions