Skip to content
This repository was archived by the owner on Apr 4, 2023. It is now read-only.

Pin temporarily to upstream Theia commit#1059

Merged
RomanNikitenko merged 1 commit into
eclipse-che:masterfrom
RomanNikitenko:pinTheiaCommit
Mar 29, 2021
Merged

Pin temporarily to upstream Theia commit#1059
RomanNikitenko merged 1 commit into
eclipse-che:masterfrom
RomanNikitenko:pinTheiaCommit

Commits

Commits on Mar 29, 2021