From c1fb1a06bc2f78420ba5504e9ccedbb1ffbe5506 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 13 Apr 2016 10:21:36 +0200
Subject: [PATCH] ignore more things

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

diff --git a/benchmark/.gitignore b/benchmark/.gitignore
index d88626fba..43824c2fe 100644
--- a/benchmark/.gitignore
+++ b/benchmark/.gitignore
@@ -1,2 +1,3 @@
 __pycache__
 build-times.log*
+gitlab-extract
-- 
GitLab