From 979844a698edfa430c361a456089faad0b27633b Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 30 Jun 2017 20:21:10 +0200
Subject: [PATCH] Gitignore for generated files

---
 lib/.gitignore | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/lib/.gitignore b/lib/.gitignore
index bc81f1a..a34a658 100644
--- a/lib/.gitignore
+++ b/lib/.gitignore
@@ -1,6 +1,4 @@
 *.so
 __pycache__/
 stormpy.egg-info/
-stormpy/_config.py
-stormpy/dft/_config.py
-stormpy/pars/_config.py
+**/_config.py