diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-11-23 15:27:51 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-11-23 15:27:51 +0000 |
| commit | 1b513de78bb77d276ed337e1f03aa3a8168eb1d3 (patch) | |
| tree | a5f2366ed0ca39c94d45dcdb76e6433579042d70 /reproduce/software/make | |
| parent | 49a6067514d48da65e5fcc8089d171d07c186311 (diff) | |
Minor edits and corrections
Raul's added point on the answer to the referee was very good, so I edited
it a little to be more clear (and removed his name).
Also, after looking in a few parts of the text, I fixed a few typos.
Diffstat (limited to 'reproduce/software/make')
0 files changed, 0 insertions, 0 deletions