Skip to content

Align the Comments plugin API with the latest vscode#8539

Merged
vinokurig merged 1 commit intomasterfrom theia-8492Oct 6, 2020

Commits

Commits on Sep 29, 2020