Gitignore for generated files

8 years ago · 979844a698
1 changed files with 1 additions and 3 deletions
--- 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