Skip to content

Improved support for VsCode frontend extensions#11752

Merged
paul-marechal merged 1 commit intoeclipse-theia:masterfrom federicobozzini:vscode-frontend-extensionsOct 14, 2022

Commits

Commits on Oct 11, 2022