diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-28 03:15:16 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-28 03:15:16 +0100 |
| commit | 6a4b4898bd3a69d63cc0b34dd276e3dd194cebc9 (patch) | |
| tree | ebfb7fb68f4a3f3669f723a84051191195f57ae7 /reproduce/software/patches/valgrind-3.15.0-mpi-fix1.patch | |
| parent | 3d7d8cedfe0698e895949027906ce5ca996aad17 (diff) | |
Zenodo identifier is extracted automatically from metadata.conf
Until now, the Zenodo identifier was manually written in the paper. But now
we have the Zenodo DOI in 'metadata.conf', so its much more robust to get
it from there (in case updated versions of the paper is published).
Diffstat (limited to 'reproduce/software/patches/valgrind-3.15.0-mpi-fix1.patch')
0 files changed, 0 insertions, 0 deletions