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