hohn/codeql-lab
1
0
Fork 0
mirror of https://github.com/hohn/codeql-lab.git synced 2025-12-16 18:03:08 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #15 from henrymercer/remove-unused-settings

Browse Source 
Remove unused settings and disable updating to prereleases of the CodeQL CLI by default
This commit is contained in:
jcreedcmu
2020-04-16 14:54:02 -04:00
committed by GitHub
parent 6fc2e75634 ae8d190b45
commit d1211c92a9
1 changed files with 1 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
vscode-codeql-starter.code-workspace
View File

@@ -24,10 +24,5 @@
{
"path": "ql"
}
],
"settings": {
"ql.distribution.includePrerelease": true,
"ql.distribution.owner": "github",
"ql.distribution.repository": "codeql-cli-binaries"
}
]
}