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__