aboutsummaryrefslogtreecommitdiff
path: root/reproduce/src
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:24:32 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:24:32 +0000
commitb514ec57575f786dd1090dd910dbdd9d98e93ec3 (patch)
tree611e79d531a6366f8352cbc290a5ef293c7a1c21 /reproduce/src
parentbd1e95c45668aedb39e70d1aae90a9bb86534506 (diff)
README edited
The README file was edited to be more clear and easy to understand. In particular, it is explained that Git is not necessary for getting the pipeline.
Diffstat (limited to 'reproduce/src')
0 files changed, 0 insertions, 0 deletions