remove theia config from git

2021-12-04 14:16:45 +01:00
parent 4ff53daef8
commit e605299d90
1 changed files with 0 additions and 4 deletions
--- a/.theia/settings.json
+++ b/.theia/settings.json
@@ -1,4 +0,0 @@
-{
-    "workbench.colorTheme": "Default Dark+"
-    
-}