diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-09 17:34:32 +0100 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-09 17:34:32 +0100 |
| commit | 91181c2d669137e6b6001a484ca7c3c946a55f4a (patch) | |
| tree | 577ab20e9fe28f147d21b270c8d52aa29e1399fd /reproduce/software/config/TARGETS.conf | |
| parent | d97aaedb48a221e8bb5290acc71b76289df0904f (diff) | |
Minor typos and spelling corrections in Definitions, some notes added
With this commit, I have corrected several minor typos in Section 2
(Definitions). I have also put a couple of notes for modify or ignore
some phrases.
Diffstat (limited to 'reproduce/software/config/TARGETS.conf')
0 files changed, 0 insertions, 0 deletions