diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-19 15:45:38 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-19 15:45:38 +0000 |
commit | 367e10e4f34b3af113af397c997a94216c3355c2 (patch) | |
tree | 1029a3286fa94c96a73be35e3bf00593f4191f69 /reproduce/src/bash | |
parent | 42d3cef11bd9a84d11eb48a4ff9686d2e0ce5436 (diff) |
Some typos corrected in README-pipeline.md
In a few cases, I had used a signle quote to close `. This would not
display properly on the Gitlab webpage, so they are corrected.
Diffstat (limited to 'reproduce/src/bash')
0 files changed, 0 insertions, 0 deletions