Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 28, 2025

• feat: use `theia@1.57.0` (#2654)

  giacomocusinato

  authored
  859d29d

  Copy full SHA for 859d29d

Commits on Sep 29, 2023

• chore(deps): update to `theia@1.41.0` (#2211)

  Show description for 8f4bcc8
  kittaakos

  authored
  8f4bcc8

  Copy full SHA for 8f4bcc8

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 9, 2023

• chore: updated to Theia `1.37.0`

  Show description for 192aac5
  

  Akos Kitta

  authored and

  kittaakos

  committed
  192aac5

  Copy full SHA for 192aac5

Commits on Nov 29, 2022

• chore: Updated to Theia `1.31.1` (#1662)

  Show description for ac9cce1
  kittaakos

  authored
  ac9cce1

  Copy full SHA for ac9cce1

Commits on Jul 29, 2022

• Register custom themes after the monaco theme init (#1257)

  Show description for 59b8a2d
  

  Alberto Iannaccone

  and

  Akos Kitta

  authored
  59b8a2d

  Copy full SHA for 59b8a2d

Commits on Oct 6, 2021

• [ATL-1599] [ATL-1416] Upgrade Theia to 1.18.0 (#489)

  Show description for fc0f674
  

  fstasi

  and

  Alberto Iannaccone

  committed
  fc0f674

  Copy full SHA for fc0f674

Loading