GitHub repository: theia-log/theia-web-manager
Primary language: JavaScript
Created: 2018-05-14T21:57:00Z
Description: Web application for managing theia aggregator