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

Merged

kittaakos merged 20 commits intomainfrom

Aug 14, 2023

Commits on Jul 26, 2023

chore(deps): Updated to Theia `1.39.0`
Akos Kitta
committed

Commits on Jul 30, 2023

fix: disable validation styles in dialog
Akos Kitta
committed
fix: missing binary in backend application
Akos Kitta
committed
fix(dev): faster build script
Akos Kitta
committed

Commits on Jul 31, 2023

fix: revert `author` and `description` order
Akos Kitta
committed
fix: force `'arduino-ide'` technical name
Akos Kitta
committed
feat(ci)|: all in one build script
Akos Kitta
committed
fic(ci): incorrect Node version?
Akos Kitta
committed
fix: do not generate invalid nightly update site
Akos Kitta
committed

Commits on Aug 1, 2023

fix: extra metadata is unavailable at webpack time
Akos Kitta
committed

Commits on Aug 2, 2023

fix: can run app in dev mode
Akos Kitta
committed

Commits on Aug 11, 2023

Commits on Aug 14, 2023

Update docs/development.md

kittaakos
and
per1234
authored
Update docs/development.md

kittaakos
and
per1234
authored