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