diff options
| author | David Barsky <me@davidbarsky.com> | 2023-09-05 12:34:11 -0400 |
|---|---|---|
| committer | David Barsky <me@davidbarsky.com> | 2023-09-05 12:38:33 -0400 |
| commit | 68781aeab002437c3e9360d9ad3037b5b41bd988 (patch) | |
| tree | c250f2ec664d3cf0554f18bfd61cf05d82203590 /editors/code/src | |
| parent | 1ee7f54fa6105ca7707e90c305a06384b3ef269b (diff) | |
| download | rust-68781aeab002437c3e9360d9ad3037b5b41bd988.tar.gz rust-68781aeab002437c3e9360d9ad3037b5b41bd988.zip | |
fix some more lints
Diffstat (limited to 'editors/code/src')
| -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 d8e1886de33..245557b1e88 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]); |