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