Hacker News new | ask | show | jobs
by odo1242 645 days ago
This is just Eclipse Theia plugins. In fact, I wouldn’t be surprised if this project is actually Eclipse Theia based