From 9b57e37ee4824236c766d64df8550975d2cb317b Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 25 Apr 2018 15:08:56 +0200
Subject: [PATCH] Updated gitignore

---
 .gitignore       | 15 +++++++++++----
 lib/.gitignore   |  4 ----
 tests/.gitignore |  1 -
 3 files changed, 11 insertions(+), 9 deletions(-)
 delete mode 100644 lib/.gitignore
 delete mode 100644 tests/.gitignore

diff --git a/.gitignore b/.gitignore
index 6c315c3..6250ed7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,14 @@
 *.so
-__pycache__
+*.py[cod]
+lib/**/_config.py
+.eggs/
+*.egg-info/
 build/
-*.pye
-.idea
+dist/
+.idea/
+__pycache__/
+_build/
+.pytest_cache/
+.idea/
+
 .DS_Store
-_config.py
diff --git a/lib/.gitignore b/lib/.gitignore
deleted file mode 100644
index a34a658..0000000
--- a/lib/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-*.so
-__pycache__/
-stormpy.egg-info/
-**/_config.py
diff --git a/tests/.gitignore b/tests/.gitignore
deleted file mode 100644
index bee8a64..0000000
--- a/tests/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-__pycache__