Skip to content

Add missing mapping between extension and plugin#27

Merged
JonasHelming merged 1 commit intoeclipse-theia:masterfrom eclipsesource:sgr/extensionkindJun 29, 2022

Commits

Commits on Jun 27, 2022