diff --git a/.theia/launch.json b/.theia/launch.json deleted file mode 100644 index a2ea02c46..000000000 --- a/.theia/launch.json +++ /dev/null @@ -1,6 +0,0 @@ -{ - // Use IntelliSense to learn about possible attributes. - // Hover to view descriptions of existing attributes. - "version": "0.2.0", - "configurations": [] -}