From 93af6147c4c0756da76f53442b8203935fed3421 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 6 Feb 2013 14:29:13 +0100
Subject: [PATCH] Minor change to .gitignore.

---
 .gitignore | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/.gitignore b/.gitignore
index 750826475..e4f57c94b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,8 @@
 ##Third-Party libs
-resources/3rdparty/log4cplus-1.1.0/**
-resources/3rdparty/gtest-1.6.0/**
-resources/3rdparty/eigen/**
-resources/3rdparty/gmm-4.2/**
+resources/3rdparty/log4cplus-1.1.0/
+resources/3rdparty/gtest-1.6.0/
+resources/3rdparty/eigen/
+resources/3rdparty/gmm-4.2/
 #Visual Studio files
 *.[Oo]bj
 *.user
@@ -25,8 +25,6 @@ resources/3rdparty/gmm-4.2/**
 *.sdf
 *.opensdf
 *.unsuccessfulbuild
-# XCode directories and files
-storm/**
 ipch/
 obj/
 CMakeFiles/