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 from
Mar 29, 2021

Pin temporarily to upstream Theia commit

26ca8c1
Select commit
Loading
Failed to load commit list.
Merged

Pin temporarily to upstream Theia commit #1059

Pin temporarily to upstream Theia commit
26ca8c1
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs