search

JanitorTechnology / dockerfiles

popular development environments as containers
https://hub.docker.com/u/janitortechnology/
53 stars 20 forks source link

Fix Theia incompatibility #177

Closed ishitatsuyuki closed 6 years ago

ishitatsuyuki commented 6 years ago

This extension seems to have different release cycle and probably has posed compatibility issues. Removing allowed Theia to boot.

ishitatsuyuki commented 6 years ago

Things look good; rushing a merge so we can use Theia again.