From 1a1664e35011da3d8e8406653cc5c10f0626eff7 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 30 Apr 2020 16:46:07 +0200
Subject: [PATCH] Updated .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

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