diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-07-02 20:47:47 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-07-02 20:57:18 +0100 |
| commit | ae5fb4d3d3af8b3e851589449566286098fd1470 (patch) | |
| tree | b87d5963e90b5811a72d943d07dde929600d6bb6 /reproduce/src/make/top.mk | |
| parent | a3358bbdbb834a22bc13b7ce521d38efdb10ea9c (diff) | |
Copyedits in appendices, suggested by Antonio Dı́az Dı́az
Antonio kindly proposed these corrections (mostly in Appendix A, but one
also at the start of Appendix B). They are fixed with this commit.
Diffstat (limited to 'reproduce/src/make/top.mk')
0 files changed, 0 insertions, 0 deletions