Merge pull request #2770 from github/robertbrignull/model-beta-label

Add beta label to model editor
This commit is contained in:
Robert
2023-08-31 15:49:27 +01:00
committed by GitHub

View File

@@ -949,7 +949,7 @@
},
{
"command": "codeQL.openModelEditor",
"title": "CodeQL: Open CodeQL Model Editor"
"title": "CodeQL: Open CodeQL Model Editor (Beta)"
},
{
"command": "codeQL.mockGitHubApiServer.startRecording",