settings and workspace

2021-01-07 20:02:22 +00:00
parent 004a7c9533
commit 4b57b51e08
2 changed files with 9 additions and 2 deletions
--- a/.theia-workspace
+++ b/.theia-workspace
@@ -0,0 +1,11 @@
+{
+   "folders": [
+
+      {
+         "path": "fet2020"
+      }
+   ],
+"settings": {
+    "launch": {}
+}
+}