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 /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions