Code

Update Theia version to 1.25.0#947

Code

Merged

kittaakos merged 2 commits intomainarduino/arduino-ide:mainfrom

msujew/update-theia-1.24.0arduino/arduino-ide:msujew/update-theia-1.24.0Copy head branch name to clipboard

May 25, 2022

Commits

Commits on May 20, 2022

• Updated Theia to 1.25.0

  Show description for 130586e
  

  msujew

  authored and

  Akos Kitta

  committed
  130586e

  Copy full SHA for 130586e

Commits on May 23, 2022

• Relaxed the Node version: `^14.x`

  Show description for 79519b6
  

  Akos Kitta

  committed
  79519b6

  Copy full SHA for 79519b6