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

fix(plugin-remote): upstream theia is now requiring EnvVariables #682

Merged
merged 1 commit into from
Mar 20, 2020
Merged

fix(plugin-remote): upstream theia is now requiring EnvVariables #682

merged 1 commit into from
Mar 20, 2020

Commits on Mar 20, 2020

  1. fix(plugin-remote): upstream theia is now requiring EnvVariables 

    Change-Id: Ia6f06ec4591b78e08263330b8c47457d04e3c2ab
Signed-off-by: Florent Benoit <fbenoit@redhat.com>
    @benoitf
    benoitf committed Mar 20, 2020
    Configuration menu
    Copy the full SHA
    2940e45 View commit details
    Browse the repository at this point in the history