8000 feat: use `theia@1.57.0` by giacomocusinato · Pull Request #2654 · arduino/arduino-ide · GitHub
[go: up one dir, main page]
< 8000 div class="position-relative header-wrapper js-header-wrapper "> Skip to content

feat: use theia@1.57.0#2654

Merged
giacomocusinato merged 18 commits intomainfrom
use-theia-latest
Mar 28, 2025

Commits

Commits on Mar 28, 2025
0