From 55c71a82973e219117646948534b1d0c74e2a717 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 3 Jun 2020 10:13:55 +0200
Subject: [PATCH] Updated .gitignore to recent changes

---
 .gitignore | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index 48ebde709..4006f3fb3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +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/
 resources/3rdparty/cudd-3.0.0/
 resources/3rdparty/xercesc-3.1.2/
@@ -45,8 +43,6 @@ build//CMakeLists.txt
 #Temp texteditor files
 *.orig
 *.*~
-# CMake generated/configured files
-src/storm/utility/storm-version.cpp
 nbproject/
 .DS_Store
 .idea