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

Move theia remote extension there and align it with new theia 0.3.19 #42

Merged
merged 4 commits into from
Feb 6, 2019
Merged

Move theia remote extension there and align it with new theia 0.3.19 #42

merged 4 commits into from
Feb 6, 2019

Commits on Feb 5, 2019

  1. Move theia remote extension there and align it with new theia 0.3.19 … 

    …upstream changes
    @benoitf
    benoitf committed Feb 5, 2019
    Configuration menu
    Copy the full SHA
    d909a6f View commit details
    Browse the repository at this point in the history

  2. fixup! Move theia remote extension there and align it with new theia … 

    …0.3.19 upstream changes

Change-Id: I13d36ee1a69169f4745da88dfbe081f627b233a9
Signed-off-by: Florent Benoit <fbenoit@redhat.com>
    @benoitf
    benoitf committed Feb 5, 2019
    Configuration menu
    Copy the full SHA
    d8272a7 View commit details
    Browse the repository at this point in the history

  3. fixup! Move theia remote extension there and align it with new theia … 

    …0.3.19 upstream changes

Change-Id: I704a47e1039b4cc5c5c76f8986e1d1471314d4c9
Signed-off-by: Florent Benoit <fbenoit@redhat.com>
    @benoitf
    benoitf committed Feb 5, 2019
    Configuration menu
    Copy the full SHA
    13c4e24 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2019

  1. fixup! Move theia remote extension there and align it with new theia … 

    …0.3.19 upstream changes

Change-Id: I9e30a913d403eaf64761d90815c84199ad60372d
Signed-off-by: Florent Benoit <fbenoit@redhat.com>
    @benoitf
    benoitf committed Feb 6, 2019
    Configuration menu
    Copy the full SHA
    0af6fe6 View commit details
    Browse the repository at this point in the history