From afda2eb2a0b4ce383b6d0141e5cbe18baecd8073 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 4 Nov 2019 15:47:44 +0100
Subject: [PATCH] .gitignore: added files in l3pp/.git

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

diff --git a/.gitignore b/.gitignore
index 98a24b25d..71a15cc93 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
 ##Third-Party libs
 resources/3rdparty/log4cplus-1.1.3-rc1/
+resources/3rdparty/l3pp/.git/
 resources/3rdparty/gtest-1.7.0/
 resources/3rdparty/eigen/
 resources/3rdparty/gmm-5.2/