diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-09 18:51:03 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-09 18:51:03 +0100 |
| commit | a5417f6b100363eeed6ad3300a873ca066bcc506 (patch) | |
| tree | a2bab3ab99831cdfe13b196eff819a5bbb141f95 /reproduce | |
| parent | efb0582d899fb3c660773ba5879a38e1b147c258 (diff) | |
Two minor typos corrected
Two words were corrected in the text that made the sentences grammatically
wrong (they were actually typos! historically they were correct, but we
later changed the later part of the sentence without fixing the first
part).
Diffstat (limited to 'reproduce')
0 files changed, 0 insertions, 0 deletions