diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2021-01-03 12:30:32 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-03 19:38:59 +0000 |
| commit | 3c93f4ce89b5162362e3f855362e4164f1f8988b (patch) | |
| tree | 486c6937d6838a50ec3c4c3336cb5440c3cb32cf /reproduce/software/bash | |
| parent | 44e5ba49bf9bece4f032f8af62229f2dd78a218f (diff) | |
Minor corrections to the main body text
With this commit, I had a look at the paper and correct some minor typos.
When possible, I tried to simplify some phrases to have less number of words.
To do that, I added some hypens when I considered it could be necessary/possible.
Diffstat (limited to 'reproduce/software/bash')
0 files changed, 0 insertions, 0 deletions