Skip to content

cli: Add check:theia-extensions command#12596

Merged
tsmaeder merged 1 commit intoeclipse-theia:masterfrom eclipsesource:12572-checkTheiaExtensionsJul 14, 2023

Commits

Commits on Jul 13, 2023