diff options
| author | David Valls-Gabaud <david.valls-gabaud@obspm.fr> | 2020-06-01 21:43:50 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-06-01 21:43:50 +0100 |
| commit | 9363210b37d6399acdc1d990cb9826e64c38ef5a (patch) | |
| tree | cda79c0e077b27636a51712ceea60ac82439b814 /.gitignore | |
| parent | 2ec9c322df950e21eb4bd77732bb021a58b50aff (diff) | |
Edits by David
These are some corrections that David sent to me by email and I am
committing here.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions