From ae8d190b454e02dcfa1d6dba440eb972e38efa4f Mon Sep 17 00:00:00 2001
From: Henry Mercer <henrymercer@github.com>
Date: Thu, 16 Apr 2020 18:35:58 +0100
Subject: [PATCH] Remove unused settings and disable updating to prereleases by
 default

---
 vscode-codeql-starter.code-workspace | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/vscode-codeql-starter.code-workspace b/vscode-codeql-starter.code-workspace
index 6c3aacf..755fd8c 100644
--- a/vscode-codeql-starter.code-workspace
+++ b/vscode-codeql-starter.code-workspace
@@ -24,10 +24,5 @@
 		{
 			"path": "ql"
 		}
-	],
-	"settings": {
-		"ql.distribution.includePrerelease": true,
-		"ql.distribution.owner": "github",
-		"ql.distribution.repository": "codeql-cli-binaries"
-	}
+	]
 }