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