aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/shell
diff options
context:
space:
mode:
authorRoberto Baena Gallé <roberto.baena@gmail.com>2020-04-13 17:28:45 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-13 17:37:34 +0100
commit7ebc882a6157e7b39d0feb8a5fef7be1f7a42766 (patch)
treed4de0632e12625371e0ab2e50a97c1f22d34883b /reproduce/software/shell
parent2aa52db8108c3ba4b984b1d57a5c47d44de93d91 (diff)
Minor corrections and thoughts
I corrected bugs, typos, double words, and punctuations along the whole text. I do some comments which are always highlighted with \hl{this is my comment}, so you can identify them easily in the pdf. If you want to remove, then you can do it easily with Ctrl+R since I think you never used \hl. Finally, I added my name as coauthor but, please, feel free to remove it if you want. Note from Mohammad: since there were two other suggested commits before this that were already merged, I rembased Roberto's commits and fixed a few minor conflicts.
Diffstat (limited to 'reproduce/software/shell')
0 files changed, 0 insertions, 0 deletions