diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-27 17:14:43 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-27 17:14:43 +0100 |
commit | 9e8356cf77716cecaf050dfa44ea31deb1bf6f19 (patch) | |
tree | 520d54c3aca3de3fa006e982a7028ae66f83a5c3 /reproduce/config | |
parent | 996b87c356b52e7cb3febfccdc5bfbc4d3e2eaf4 (diff) |
Minor edits in README.md
A few minor corrections were made in `README.md'.
Diffstat (limited to 'reproduce/config')
0 files changed, 0 insertions, 0 deletions