Unnamed repository; edit this file 'description' to name the repository.
fix some more lints
| -rw-r--r-- | editors/code/src/commands.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/commands.ts b/editors/code/src/commands.ts index d8e1886de3..245557b1e8 100644 --- a/editors/code/src/commands.ts +++ b/editors/code/src/commands.ts @@ -878,7 +878,7 @@ export function addProject(ctx: CtxInit): Cmd { } const command = `${extensionName}.discoverWorkspaceCommand`; - const project = await vscode.commands.executeCommand(command); + const project: JsonProject = await vscode.commands.executeCommand(command); ctx.addToDiscoveredWorkspaces([project]); |