diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-06-08 19:02:47 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-06-08 19:11:11 +0100 |
commit | a0a51763a611faad22b7b2bc8ebbb5094b3377af (patch) | |
tree | ca88f447c29b38fadd3fd49988cd54d4e16acb1b /reproduce/software/make | |
parent | 6f7f00fb3fb4c14c85890bff6bd89485ccc1ff92 (diff) |
Minor edits and updated first-page Software Heritage ID
After going through Boud's corrections and edits in the previous commit, I
thought some minor clarifications would be necessary, and they are
implemented in this commit.
Also, in preparation for submission to the journal, the top-level software
heritage ID has been corrected to the latest commit on Software Heritage.
Diffstat (limited to 'reproduce/software/make')
0 files changed, 0 insertions, 0 deletions