Skip to content

cli: Add check:theia-extensions command#79

Closed
sgraband wants to merge 1 commit intomasterfrom 12572-checkTheiaExtensions

Commits

Commits on Jun 7, 2023