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 /.file-metadata | |
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 '.file-metadata')
-rw-r--r-- | .file-metadata | bin | 7964 -> 7813 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 5953c8b..0daa3df 100644 --- a/.file-metadata +++ b/.file-metadata |