Skip to content

ui: hide "Web IDE" button from the web UI

The Web IDE is not yet supported on Heptapod (see issue #285).

--HG-- branch : heptapod

Merge request reports