News for hackers. Stuff that matters.

A comment on GitLab Web IDE. Parent comment

Re:GitLab Web IDE by madjam002 on Friday June 15, 2018 @05:09PM (#17323580)
Nice, you should add TheiaIDE to your list
[ Parent | on HN ]
Re:GitLab Web IDE by mapl on Friday June 15, 2018 @07:58PM (#17324806)
I really liked it! https://github.com/theia-ide/theia
[ Parent | on HN ]