diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-27 23:49:36 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-27 23:49:36 +0100 |
commit | 3d7d8cedfe0698e895949027906ce5ca996aad17 (patch) | |
tree | 108627d6dcb039ad340e75b1b14081524cc5a3df /reproduce/software/patches/valgrind-3.15.0-mpi-fix1.patch | |
parent | 57f922480d62a826b3e6030c81b85b412794fd4c (diff) | |
parent | c151eddbcc5f4208b40dc3037a8ae8adb0ff9173 (diff) |
Imported recent work in master, minor conflict fixed in paper.mk
Only two conflicts came up in the newly added comments of 'paper.mk' in the
Maneage branch. It happened because in this project we don't use
'pdflatex', but 'latex' alone.
Diffstat (limited to 'reproduce/software/patches/valgrind-3.15.0-mpi-fix1.patch')
0 files changed, 0 insertions, 0 deletions