mirror of
https://github.com/hohn/codeql-lab.git
synced 2025-12-16 18:03:08 +01:00
Merge pull request #177 from github/aeisenberg/codeql-workspace
Move .codeqlmanifest.json to codeql-workspace.json
This commit is contained in:
@@ -1 +0,0 @@
|
||||
{ "provide": [ "**" ] }
|
||||
2
codeql-workspace.yml
Normal file
2
codeql-workspace.yml
Normal file
@@ -0,0 +1,2 @@
|
||||
provide:
|
||||
- "**"
|
||||
Reference in New Issue
Block a user