diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-18 00:51:20 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-18 00:51:20 +0100 |
| commit | c003a2dfc2fdea38d39a5555a8ee16bff7cb6b62 (patch) | |
| tree | b6ba75e98d5bfddefb4a79a3cd2d04adc3862153 /reproduce | |
| parent | 9ed594ec27405e38548d6efd6fe28a4dabf0fb41 (diff) | |
Edits in the text to make it shorter and fix a few mistakes
A few minor issues were found and fixed in the text. I also tried to
shorten it a little further.
Diffstat (limited to 'reproduce')
0 files changed, 0 insertions, 0 deletions