From 26aba5ebb2bf5329e66790dad0856207f4937aeb Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 3 Aug 2017 16:37:59 +0200
Subject: [PATCH] make sure cudd makefile.in and aclocal.m4 are ignored

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

diff --git a/.gitignore b/.gitignore
index a4327b775..e8b271715 100644
--- a/.gitignore
+++ b/.gitignore
@@ -50,5 +50,5 @@ nbproject/
 .DS_Store
 .idea
 *.out
-# Python config
-stormpy/setup.cfg
+resources/3rdparty/cudd-3.0.0/Makefile.in
+resources/3rdparty/cudd-3.0.0/aclocal.m4