Closed nyssen closed 4 years ago
The Theia extension still contains a login page that is not required for the Docker image. The folder structure ist quite complicated. We should clean that up.
The fix was already merged to master.
The Theia extension still contains a login page that is not required for the Docker image. The folder structure ist quite complicated. We should clean that up.