diff options
author | Raul Infante-Sainz <infantesainz@gmail.com> | 2021-01-03 23:21:56 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-04 00:10:37 +0000 |
commit | 0ac1e3cfe4252635f3e755fe8a1a2801ecc535be (patch) | |
tree | 9146a36bd4177e509e0ca3cd451d7214112ff81a /reproduce/software/shell | |
parent | 20cd841b71f48de18967cb9eda36afbfd5cc6b73 (diff) |
Very minor corrections to the necessity appendix
With this commit, I have corrected some minor typos of this appendix.
They are very minor corrections.
Diffstat (limited to 'reproduce/software/shell')
0 files changed, 0 insertions, 0 deletions