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 #13 from aeisenberg/aeisenberg/devcontainer

Browse Source 
chore: Add default extension for remote development
This commit is contained in:
jcreedcmu
2020-03-25 13:22:41 -04:00
committed by GitHub
parent 3a97e82b3e 3a63565106
commit 05d4ee3f85
2 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
.devcontainer/devcontainer.json Normal file
View File

@@ -0,0 +1,5 @@
{
"extensions": [
"github.vscode-codeql"
]
}

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

@@ -30,4 +30,4 @@
"ql.distribution.owner": "github", "ql.distribution.owner": "github",
"ql.distribution.repository": "codeql-cli-binaries" "ql.distribution.repository": "codeql-cli-binaries"
} }
} }