diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-19 18:18:49 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-19 18:18:49 +0100 |
commit | f21104afffe7a5cb28f7824211f90dc778d45b57 (patch) | |
tree | 32cba83215242a853ad2f21b8eaa0a5c06320248 /reproduce/src/make | |
parent | f82fcdb601c24db4d04823edb26965cec9b0818a (diff) |
Minor edits in README.md
A few other minor corrections were applied to the text to be more clear.
Diffstat (limited to 'reproduce/src/make')
0 files changed, 0 insertions, 0 deletions