diff --git a/.gitignore b/.gitignore index 71a15cc93..48ebde709 100644 --- a/.gitignore +++ b/.gitignore @@ -50,6 +50,7 @@ src/storm/utility/storm-version.cpp nbproject/ .DS_Store .idea +.vscode *.out resources/3rdparty/cudd-3.0.0/Makefile.in resources/3rdparty/cudd-3.0.0/aclocal.m4