diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-04 14:04:47 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-03-04 14:04:47 +0100 |
| commit | a575cf5b3d87dbbc6e90c33f348567198ef44d61 (patch) | |
| tree | 541d91e98ce86edec4cc4cb3bb6d4d352ffd6739 /reproduce/src | |
| parent | cccfdd59be5e6effd6a63a12a19b4208f14642da (diff) | |
Minor correction in README.md
After the last commit, another minor correction is implemeneted to further
simplify the reading.
Diffstat (limited to 'reproduce/src')
0 files changed, 0 insertions, 0 deletions