diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-14 13:28:00 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-14 13:28:00 +0100 |
| commit | 46939f1c1d98cdd5a7a716173babe0e0bc54a3ef (patch) | |
| tree | 0c1429e9d469a0968f7f000c32f3a81c5a8e4884 /reproduce/src/make/Top-Makefile | |
| parent | 008e764952e0281b7cda0ea8118d97dc32c1d80d (diff) | |
Minor edits in README.md
Some minor edits to the newly added parts of `README.md'.
Diffstat (limited to 'reproduce/src/make/Top-Makefile')
0 files changed, 0 insertions, 0 deletions