GitHub repository: theia-ide/theia-sprotty
Primary language: TypeScript
Created: 2017-08-29T13:52:55Z
Description: Glue code for sprotty diagrams in Theia