mirror of
https://github.com/hohn/codeql-lab.git
synced 2025-12-16 18:03:08 +01:00
chore: Add default extension for remove development
This commit is contained in:
committed by
Andrew Eisenberg
parent
3a97e82b3e
commit
3a63565106
5
.devcontainer/devcontainer.json
Normal file
5
.devcontainer/devcontainer.json
Normal file
@@ -0,0 +1,5 @@
|
||||
{
|
||||
"extensions": [
|
||||
"github.vscode-codeql"
|
||||
]
|
||||
}
|
||||
@@ -30,4 +30,4 @@
|
||||
"ql.distribution.owner": "github",
|
||||
"ql.distribution.repository": "codeql-cli-binaries"
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user