From d535d95ffc415c9bee657128e3d04993879e24f9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 4 Mar 2016 20:45:53 +0100
Subject: [PATCH] ignore more logfiles

---
 benchmark/.gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchmark/.gitignore b/benchmark/.gitignore
index 9c7d8939c..d88626fba 100644
--- a/benchmark/.gitignore
+++ b/benchmark/.gitignore
@@ -1,2 +1,2 @@
 __pycache__
-build-times.log
+build-times.log*
-- 
GitLab