WIP: Theia FE POC (!15775) · Merge requests · GitLab.org / GitLab · GitLab

Paul Slaughter requested to merge fe-theia-poc into master Aug 28, 2019

What does this MR do?

DO NOT MERGE!

Part of https://gitlab.com/gitlab-org/gitlab-ce/issues/65494

20190828_theia_poc_iframe_navbar

Edited Aug 28, 2019 by Paul Slaughter