diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-04 22:15:45 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-07-04 22:15:45 +0100 |
| commit | cedea21b101bc1a3af90f0c97b5bb768311630fd (patch) | |
| tree | 9eaf8ac0e37afd3f2447d8416c60c64a3790e8f2 /reproduce/software/patches/valgrind-3.15.0-mpi-fix2.patch | |
| parent | 6322d4f3961bc4b275707366d9bb2703ab98be79 (diff) | |
Commit hash of Maneage branch used to build project as LaTeX macro
To help in the documentation, the Git hash of the Maneage branch commit
that the project has most recently merged with (or branched from) is now
also provided as a LaTeX macro ('\maneageversion').
It is calculated in 'reproduce/analysis/make/initialize.mk' (in the recipe
to 'initialize.tex').
Diffstat (limited to 'reproduce/software/patches/valgrind-3.15.0-mpi-fix2.patch')
0 files changed, 0 insertions, 0 deletions