From 82954e2928253a89edc8dfdd298abe4d78aa1263 Mon Sep 17 00:00:00 2001
From: Theo Arends <11044339+arendst@users.noreply.github.com>
Date: Sun, 1 Mar 2020 13:52:01 +0100
Subject: [PATCH] Delete launch.json

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

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": []
-}