From dd2a9aa0fd0a8d725f131223a4e0a01de8a98e1e Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 4 Sep 2017 15:41:50 +0200
Subject: Updated gitignore.

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3