fix some more lints

This commit is contained in:
David Barsky 2023-09-05 12:34:11 -04:00
parent 1ee7f54fa6
commit 68781aeab0

View File

@ -878,7 +878,7 @@ export function addProject(ctx: CtxInit): Cmd {
} }
const command = `${extensionName}.discoverWorkspaceCommand`; const command = `${extensionName}.discoverWorkspaceCommand`;
const project = await vscode.commands.executeCommand(command); const project: JsonProject = await vscode.commands.executeCommand(command);
ctx.addToDiscoveredWorkspaces([project]); ctx.addToDiscoveredWorkspaces([project]);