diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-14 11:00:10 +0100 |
|---|---|---|
| committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-14 11:00:10 +0100 |
| commit | 9a946b5f8245b52aa8bfd1c68ae79f3b406c758f (patch) | |
| tree | f2b6bb7be06ea41499d07ae2e64aae20730630c6 /reproduce/software/config/TARGETS.conf | |
| parent | de23a683ec8b57e75ef47d9298d7ce15e67c9af9 (diff) | |
Minor typos fixed up to Section 3: Principles
With this commit, just minor typos have been fixed (I am rushing over
the text since we are out of time!). There are also a suggestion in
order to remove a couple of phrases to try to be more aseptic when
comparing with another project. But there is only an idea, take it or
not as you consider.
Diffstat (limited to 'reproduce/software/config/TARGETS.conf')
0 files changed, 0 insertions, 0 deletions