feat: vscode: Support opening local documentation if available#15728

Merged

bors merged 2 commits intorust-lang:masterfrom EliasHolzmann:feature/local_documentation_vscode

Oct 10, 2023

Commits on Oct 8, 2023

Use vscode.env.openExternal instead of the vscode.open command for docs
EliasHolzmann
committed

Commits on Oct 9, 2023

vscode: Support opening local documentation if available
EliasHolzmann
committed