mirror of
https://github.com/hohn/codeql-lab.git
synced 2025-12-16 18:03:08 +01:00
Remove unused settings and disable updating to prereleases by default
This commit is contained in:
@@ -24,10 +24,5 @@
|
|||||||
{
|
{
|
||||||
"path": "ql"
|
"path": "ql"
|
||||||
}
|
}
|
||||||
],
|
]
|
||||||
"settings": {
|
|
||||||
"ql.distribution.includePrerelease": true,
|
|
||||||
"ql.distribution.owner": "github",
|
|
||||||
"ql.distribution.repository": "codeql-cli-binaries"
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|||||||
Reference in New Issue
Block a user