Skip to content

update theia-ide (1.8 -> 1.30)

Jan Krüger requested to merge #21/Update_outdated_Theia_IDE into dev

Merge request reports