diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-17 18:31:00 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-17 18:31:00 +0000 |
| commit | 6150b6e59e5696483b942d7a3e158b4e748e4275 (patch) | |
| tree | 75badf95f1387540d71e46cd7dae57aa302edaf8 /reproduce/src/bash | |
| parent | 7443b0fbeb11f59539be6d374d5a1483c2edf13c (diff) | |
README-pipeline.md referenced in README.md
Until now, there was no reference to `README-pipeline.md' within the
`README.md' file. Since `README.md' is the first file that someone reads
and the basic perpose and structure of the pipeline is described in
`README-pipeline.md', it was necessary to bring it up there.
Diffstat (limited to 'reproduce/src/bash')
0 files changed, 0 insertions, 0 deletions