Code

Update json schema URL#12376

Code

Merged

tsmaeder merged 4 commits intoeclipse-theia:mastereclipse-theia/theia:masterfrom federicobozzini:patch-2federicobozzini/theia:patch-2Copy head branch name to clipboardMay 8, 2023

+3-2

Commits

Commits on Apr 4, 2023

• Update json schema URL

  federicobozzini

  authored
  cdabfe2

  Copy full SHA for cdabfe2

Commits on Apr 11, 2023

• Improve overridability

  Show description for 255649d
  federicobozzini

  committed
  255649d

  Copy full SHA for 255649d

Commits on May 5, 2023

• Merge branch 'master' into patch-2

  federicobozzini

  authored
  0b32974

  Copy full SHA for 0b32974

Commits on May 8, 2023

• Merge branch 'master' into patch-2

  tsmaeder

  authored
  4e0c617

  Copy full SHA for 4e0c617