aboutsummaryrefslogtreecommitdiff
path: root/.file-metadata
diff options
context:
space:
mode:
authorBoud Roukema <boud@cosmo.torun.pl>2020-05-23 17:31:48 +0200
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-05-28 23:04:00 +0100
commit10def0f22b74898fe4aa3ca8e080c007127e4ed4 (patch)
treeecfebb4c5710cb92c14861e3ad7ed8f9719854ed /.file-metadata
parent03c96cd2952ce6b6e04025f570214a814019317c (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 '.file-metadata')
0 files changed, 0 insertions, 0 deletions