Theia 1.5.0 (!799) · Merge requests · nexedi / slapos · GitLab

Merged Jérome Perrin requested to merge feat/theia-up into master Aug 14, 2020

Update to version 1.5.0

slapos node tasks to control slapos from theia
git uses integrated editor when opening editor
fix "Upload files..."
support rust (after a manual cargo install)
better plantuml support

Edited Sep 11, 2020 by Jérome Perrin