diff options
| author | David Valls-Gabaud <david.valls-gabaud@obspm.fr> | 2020-04-14 20:18:48 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-14 20:18:48 +0100 |
| commit | db5701b1f157dcff7f24ee18a8c58930a42149f0 (patch) | |
| tree | 016e0ae4881e6e727add4ec4e19ec13fa1cd22d3 /reproduce/software/config/TARGETS.conf | |
| parent | de23a683ec8b57e75ef47d9298d7ce15e67c9af9 (diff) | |
Some corrections to help make the text more clear
David submitted these comments by email, I (Mohammad) am committing it into
the project.
Diffstat (limited to 'reproduce/software/config/TARGETS.conf')
0 files changed, 0 insertions, 0 deletions