From 56d9c351d54e4bf9be43fa0115d041342a9a4900 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@github.com>
Date: Thu, 14 Oct 2021 10:59:39 +0200
Subject: [PATCH] QL: Delete this file that vscode keeps changing for me.

---
 codeql-ql.code-workspace | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 codeql-ql.code-workspace

diff --git a/codeql-ql.code-workspace b/codeql-ql.code-workspace
deleted file mode 100644
index 7610040e098..00000000000
--- a/codeql-ql.code-workspace
+++ /dev/null
@@ -1,14 +0,0 @@
-{
-	"folders": [
-		{
-			"path": "."
-		}
-	],
-	"settings": {
-		"editor.formatOnSave": true,
-		"files.eol": "\n",
-		"files.exclude": {
-			"codeql": true
-		}
-	}
-}
\ No newline at end of file