diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2021-01-03 19:03:49 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2021-01-03 20:12:45 +0000 |
| commit | 2ddfb42f4655633c5bdac6b32c6fb1f52181b031 (patch) | |
| tree | 34b28268a98b910c848c75bc77b2ec8a6860094d /.gitattributes | |
| parent | 3c93f4ce89b5162362e3f855362e4164f1f8988b (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 '.gitattributes')
0 files changed, 0 insertions, 0 deletions