From 222584b814e902383fecce1cae63f11cc910b3d4 Mon Sep 17 00:00:00 2001
From: Daniel Klabbers <daniel+git@klabbers.email>
Date: Tue, 25 May 2021 15:41:21 +0200
Subject: [PATCH] remove ide file

---
 extensions/flags/.vscode/launch.json | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 extensions/flags/.vscode/launch.json

diff --git a/extensions/flags/.vscode/launch.json b/extensions/flags/.vscode/launch.json
deleted file mode 100644
index bad1e468b..000000000
--- a/extensions/flags/.vscode/launch.json
+++ /dev/null
@@ -1,22 +0,0 @@
-{
-    // Use IntelliSense to learn about possible attributes.
-    // Hover to view descriptions of existing attributes.
-    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
-    "version": "0.2.0",
-    "configurations": [
-        {
-            "name": "Listen for Xdebug",
-            "type": "php",
-            "request": "launch",
-            "port": 9000
-        },
-        {
-            "name": "Launch currently open script",
-            "type": "php",
-            "request": "launch",
-            "program": "${file}",
-            "cwd": "${fileDirname}",
-            "port": 9000
-        }
-    ]
-}
\ No newline at end of file