aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/shell
diff options
context:
space:
mode:
authorRaul Infante-Sainz <infantesainz@gmail.com>2021-01-03 19:03:49 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2021-01-03 20:12:45 +0000
commit2ddfb42f4655633c5bdac6b32c6fb1f52181b031 (patch)
tree34b28268a98b910c848c75bc77b2ec8a6860094d /reproduce/software/shell
parent3c93f4ce89b5162362e3f855362e4164f1f8988b (diff)
Minor corrections to the existing tools appendix
With this commit, I have corrected some minor typos of this appendix. In addition to that, I also put empty lines to separate subsections and subsubsections appropiately (5 lines and 1 line, respectively).
Diffstat (limited to 'reproduce/software/shell')
0 files changed, 0 insertions, 0 deletions