From 1485eae477cd06fbd30705d6c96b5707f39b784b Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 25 Jan 2013 16:47:59 +0100
Subject: [PATCH] Added cudd to gitignore so the changes to cudd (e.g.
 compiling) will not be committed to repo.

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

diff --git a/.gitignore b/.gitignore
index 6f15a4cb4..e15342bf5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,6 +3,7 @@ resources/3rdparty/log4cplus-1.1.0/
 resources/3rdparty/gtest-1.6.0/
 resources/3rdparty/eigen/
 resources/3rdparty/gmm-4.2/
+resources/3rdparty/cudd-2.5.0/
 #Visual Studio files
 *.[Oo]bj
 *.user