diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-05 11:58:49 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-05 11:58:49 +0000 |
commit | 631eeb1302628ce0cd4e84d30553bb77934e3dcf (patch) | |
tree | 91f60b609fc9e868539b4324bb9da4399d8156a5 /reproduce/src/bash | |
parent | 3ddbaa75483f0fc14ad2840f6aa1478ad2c1b902 (diff) |
Updated README.md
The README.md file was updated to reflect recent changes in the pipeline
(especially regarding the downloader).
Diffstat (limited to 'reproduce/src/bash')
0 files changed, 0 insertions, 0 deletions