aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Valls-Gabaud <david.valls-gabaud@obspm.fr>2020-06-01 21:43:50 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-06-01 21:43:50 +0100
commit9363210b37d6399acdc1d990cb9826e64c38ef5a (patch)
treecda79c0e077b27636a51712ceea60ac82439b814 /.gitignore
parent2ec9c322df950e21eb4bd77732bb021a58b50aff (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