diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-19 19:24:54 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-03-19 19:24:54 +0000 |
| commit | 356d998b87d93cc86dc44642ae95fed7478bc788 (patch) | |
| tree | 88d0b82fc23b51d5025e86def3e90d4895d00740 /reproduce/src/bash | |
| parent | 27e0e23ec87cdfed5a2843fa8af35b1e0ac2e615 (diff) | |
Minor corrections: typo and adding file to .gitignore
The LaTeX macro for libgit2 was not properly used in `paper.tex'.
On Mac systems, after browsing the directory, a `.DS_Store' file was
created. So to keep things clean on those systems, it is added to the files
to be ignored by Git.
Diffstat (limited to 'reproduce/src/bash')
0 files changed, 0 insertions, 0 deletions