workflow-glsp-extension (npm): Theia extension for the workflow GLSP example
Keywords: theia-extension