diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 13:24:32 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 13:24:32 +0000 |
| commit | b514ec57575f786dd1090dd910dbdd9d98e93ec3 (patch) | |
| tree | 611e79d531a6366f8352cbc290a5ef293c7a1c21 /reproduce/src/make | |
| parent | bd1e95c45668aedb39e70d1aae90a9bb86534506 (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/make')
0 files changed, 0 insertions, 0 deletions