diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-14 12:53:26 +0100 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-14 12:53:26 +0100 |
| commit | 03487edb31ae768efd95de57035fb9305283ee09 (patch) | |
| tree | 1bad93bdf4201ab48e0a090b581da9175a6666d4 /.dir-locals.el | |
| parent | 9a946b5f8245b52aa8bfd1c68ae79f3b406c758f (diff) | |
Minor typos fixed up to Section 6: Discussion
With this commit, minor typos have been fixed from Section 4 to 6. The
majority of them are minor corrections (typos/spelling). I added just a
couple of comments/suggestions in red. If you think they are necessary
try to fit with the latest modifications. If not, just ignore them.
Really nice paper, congratulations to all contributors!!
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions