diff options
| author | Pierre-Marie Pédrot | 2017-09-04 15:41:50 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-04 15:41:59 +0200 |
| commit | dd2a9aa0fd0a8d725f131223a4e0a01de8a98e1e (patch) | |
| tree | a92703ee0c938db78e9b43e504cce7285c62bab9 | |
| parent | cd3819db675bd42510eac1bd616ca20e33e7d997 (diff) | |
Updated gitignore.
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index ffdea1320c..50ed772be3 100644 --- a/.gitignore +++ b/.gitignore @@ -12,3 +12,4 @@ Makefile.coq.conf *.o *.a *.aux +tests/*.log |