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