This repository has been archived by the owner on Apr 4, 2023. It is now read-only.
Make theia hostname configurable#626
Merged
metlos merged 2 commits intoeclipse-che:masterfrom metlos:bug/15651-move-jwt-proxy-to-workspace-podFeb 14, 2020
+5-1
