GitHub repository: suderdev/multi-editor
Primary language: Python
Created: 2019-04-10T13:57:09Z
Description: Multi-editor Theia IDE