Add plugin generator to the theia-dev image.#12478

Merged

AndrienkoAleksandr merged 3 commits intomasterfrom applyPluginGeneratorToTheiaDevImage

Jan 22, 2019

+1-1

Commits on Jan 21, 2019

Add plugin generator to the theia-dev image.
AndrienkoAleksandr
committed

Commits on Jan 22, 2019