diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 14:09:21 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-11-22 14:09:21 +0000 |
| commit | 68304f6eb47c1369c8fba6dc7a62261d90d102bc (patch) | |
| tree | 042cb2f04800bd7a7079ee4683c0acc006468b41 /reproduce/src/make/Top-Makefile | |
| parent | fc909fe92ed69417c7b75581cae5179d451bc46e (diff) | |
Minor edit/correction in README.md
The note to the pipeline designers was corrected to display properly on
Gitlab.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions