diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-01 19:50:35 +0100 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-01 19:50:35 +0100 |
| commit | 218ef601067bd0e5554974bea1b5a62a457f5c97 (patch) | |
| tree | 851d84a979ab4ce740fc6e9969ecd1bb5f9c5c02 /reproduce/software/shell/configure.sh | |
| parent | e909553d88dbf15f764f3f797956af75595adcf9 (diff) | |
Corrected reference for Infante-Sainz+2020 in README-hacking.md
Until this commit, the year of this paper was 2019 and the linking url
was the temporal one. However, the final official publication year is
2020. With this commit, the year and the url have been changed to the
final ones.
Diffstat (limited to 'reproduce/software/shell/configure.sh')
0 files changed, 0 insertions, 0 deletions