From d4e1eda99e730abad20fa524cdb60170998c441e Mon Sep 17 00:00:00 2001 From: GitHub Actions Date: Wed, 31 Dec 2025 05:26:03 +0000 Subject: [PATCH] chore: remove unused Chiron.code-workspace file --- Chiron.code-workspace | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 Chiron.code-workspace diff --git a/Chiron.code-workspace b/Chiron.code-workspace deleted file mode 100644 index ea5a4bc7..00000000 --- a/Chiron.code-workspace +++ /dev/null @@ -1,12 +0,0 @@ -{ - "folders": [ - { - "path": "." - } - ], - "settings": { - "codeQL.createQuery.qlPackLocation": "/projects/Charon", - "sarif-viewer.connectToGithubCodeScanning": "on", - "codeQL.githubDatabase.download": "never" - } -}