From e53c7e629f1db6d3a7b2d0e3a90128d95311bdc8 Mon Sep 17 00:00:00 2001
From: Yuito Murase <yuito@acupof.coffee>
Date: Mon, 28 Aug 2023 17:04:10 +0900
Subject: [PATCH] Delete unnecessary code-workspace file

---
 .../dotty/tools/dotc/quoted/dotty.code-workspace  | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 compiler/src/dotty/tools/dotc/quoted/dotty.code-workspace

diff --git a/compiler/src/dotty/tools/dotc/quoted/dotty.code-workspace b/compiler/src/dotty/tools/dotc/quoted/dotty.code-workspace
deleted file mode 100644
index ccd5fcc313aa..000000000000
--- a/compiler/src/dotty/tools/dotc/quoted/dotty.code-workspace
+++ /dev/null
@@ -1,15 +0,0 @@
-{
-	"folders": [
-		{
-			"path": "../../../../../.."
-		},
-		{
-			"path": "../../../../../../../workspace"
-		}
-	],
-	"settings": {
-		"files.watcherExclude": {
-			"**/target": true
-		}
-	}
-}
\ No newline at end of file