Comment by odo1242
This is just Eclipse Theia plugins. In fact, I wouldn’t be surprised if this project is actually Eclipse Theia based
This is just Eclipse Theia plugins. In fact, I wouldn’t be surprised if this project is actually Eclipse Theia based