diff --git a/.gitignore b/.gitignore index bd4e15887..ae1598ee9 100644 --- a/.gitignore +++ b/.gitignore @@ -46,3 +46,6 @@ build//CMakeLists.txt *.*~ # CMake generated/configured files src/utility/storm-version.cpp +.DS_Store +*.out +