#7295 Theia API is incompatible with VSCode#7296

Merged

vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom eclipsesource:master

May 8, 2020

+12-17

Commits on Mar 26, 2020

Theia plugin API registerCommand is incompatible with VSCode eclipse-theia#7295
JonasHelming
committed