diff options
author | Boud Roukema <boud@cosmo.torun.pl> | 2020-05-23 17:31:48 +0200 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-28 23:04:00 +0100 |
commit | 10def0f22b74898fe4aa3ca8e080c007127e4ed4 (patch) | |
tree | ecfebb4c5710cb92c14861e3ad7ed8f9719854ed /reproduce/analysis/make/paper.mk | |
parent | 03c96cd2952ce6b6e04025f570214a814019317c (diff) |
Cherry-pick 7bf5fcd to make merging easier
This series of commits aims to edit sections II+III, but first implements
the changes from 7bf5fcd, apart from one that conflicts in the abstract:
this commit has ``Maneage'' without `(managing+lineage)` in the abstract.
From Mohammad: this commit has been rebased after several other parallel
branches, so some things may differ from the message.
Diffstat (limited to 'reproduce/analysis/make/paper.mk')
0 files changed, 0 insertions, 0 deletions