Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Align plugins with Theia upstream#902

Merged
vitaliy-guliy merged 2 commits intomasterfrom default-plugins2Nov 4, 2020

Commits

Commits on Nov 3, 2020

Commits on Nov 4, 2020