Change command name

This commit is contained in:
Andrew Eisenberg
2020-06-23 09:31:48 -07:00
parent 60620a5618
commit f4e983e214

View File

@@ -312,7 +312,7 @@
}, },
{ {
"command": "codeQLQueryHistory.compareWith", "command": "codeQLQueryHistory.compareWith",
"title": "Compare with..." "title": "Compare Results"
}, },
{ {
"command": "codeQLQueryResults.nextPathStep", "command": "codeQLQueryResults.nextPathStep",