Skip to content

download-plugins: report a failure in case of unsupported file type#8797

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom perrinjerome:fix/download-plugin-unsupportedDec 7, 2020

Commits

Commits on Dec 7, 2020