Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 14, 2023

• chore(deps): Updated to Theia `1.39.0` (#2144)

  Show description for 9a6a457
  kittaakos

  authored
  9a6a457

  Copy full SHA for 9a6a457

Commits on May 25, 2022

• Updated Theia to 1.25.0

  Show description for 1ae60ec
  

  msujew

  authored and

  kittaakos

  committed
  1ae60ec

  Copy full SHA for 1ae60ec

Commits on Feb 15, 2022

• Check for IDE update at startup (#797)

  Show description for f660058
  

  4 peopleauthored
  f660058

  Copy full SHA for f660058

Loading