From 82b751e1bc5cb865488d3855532dfb9a204c043f Mon Sep 17 00:00:00 2001
From: Soeren Peters <peters@irmb.tu-bs.de>
Date: Fri, 1 Apr 2022 11:41:12 +0000
Subject: [PATCH] add devcontainer to gitignore again

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

diff --git a/.gitignore b/.gitignore
index 8708a2906..182a78aa1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,6 +13,7 @@ __pycache__/
 
 # IDE
 .vscode/
+.devcontainer/
 .sync/
 .idea/
 
-- 
GitLab