From e605299d90001c37bcb3f738bf5e48d45d2696bf Mon Sep 17 00:00:00 2001
From: Andreas Stephanides <andis@fet.at>
Date: Sat, 4 Dec 2021 14:16:45 +0100
Subject: [PATCH] remove theia config from git

---
 .theia/settings.json | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 .theia/settings.json

diff --git a/.theia/settings.json b/.theia/settings.json
deleted file mode 100644
index 1562066..0000000
--- a/.theia/settings.json
+++ /dev/null
@@ -1,4 +0,0 @@
-{
-    "workbench.colorTheme": "Default Dark+"
-    
-}
\ No newline at end of file