diff options
author | Boud Roukema <boud@cosmo.torun.pl> | 2020-11-25 20:55:18 +0100 |
---|---|---|
committer | Boud Roukema <boud@cosmo.torun.pl> | 2020-11-25 20:55:18 +0100 |
commit | eb984bd431af209dbdc8bad8ee52435ccb89f5d0 (patch) | |
tree | 145b80c9b570a262295cefa6921a14f4630ed5fe /reproduce/software/shell | |
parent | ab0260d370c3c4b96f0f1fd7cde0b50f0b6d7d22 (diff) |
Points 33-35 handled in answer to reviewers
This commit only modifies "peer-review/1-answer.txt", giving
answers to Reviewer 4; these mostly take into account David's
email list of proposed answers. No changes are done to
"paper.tex".
Diffstat (limited to 'reproduce/software/shell')
0 files changed, 0 insertions, 0 deletions