diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-11-23 12:00:22 +0000 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-11-23 12:00:22 +0000 |
| commit | 49a6067514d48da65e5fcc8089d171d07c186311 (patch) | |
| tree | 2b423dbb4d3700c02de7c3dede4a0a8de76534da /reproduce/software/shell | |
| parent | d382f1b610e05096b45055826b8f823b6ca796c3 (diff) | |
Minor corrections to the final paper document
With this commit, I make several minor changes to the text of the final
paper. They are not important, but minor modifications like avoiding
contractions (don't -> do not, and so on).
Diffstat (limited to 'reproduce/software/shell')
0 files changed, 0 insertions, 0 deletions