Add a command to list installed plugins. #12818

Merged

tsmaeder merged 1 commit intoeclipse-theia:masterfrom tsmaeder:12298_list_plugins

Nov 24, 2023

+164-47

Commits on Oct 30, 2023

Add a command to list installed plugins. Fixes eclipse-theia#12298
tsmaeder
committed