Closed JonasHelming closed 2 months ago
fixed #200
See https://github.com/eclipse-theia/generator-theia-extension/pull/203 for the failing build
fixed #200