From 34c50ce3e2d40ff2208d6a6b9a9820445c0b1a2e Mon Sep 17 00:00:00 2001
From: Ulrich Mohr <mohr@irs.uni-stuttgart.de>
Date: Tue, 28 Jun 2022 17:44:53 +0200
Subject: [PATCH] ignore .vscode

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index eb461072..1683d44d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,5 +10,8 @@
 .settings
 .metadata
 
+# VSCode
+.vscode
+
 /build*
 /cmake-build*