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