From 74b4994c10ccc16e19680f90941e3832558e86c8 Mon Sep 17 00:00:00 2001
From: patrick <patrick@fet.at>
Date: Tue, 2 Feb 2021 19:29:35 +0000
Subject: [PATCH] fix theia workspace

---
 .theia-workspace | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.theia-workspace b/.theia-workspace
index 3751ec5e..87847e44 100644
--- a/.theia-workspace
+++ b/.theia-workspace
@@ -10,7 +10,6 @@
     "python.linting.flake8Enabled": true,
     "python.linting.banditEnabled": true,
     "python.testing.pytestEnabled": true,
-    "workbench.colorTheme": "light",
     "python.linting.flake8Args": [
         "--max-line-length=100"
     ]