Skip to content

GitLab

Projects
Groups
Snippets
Help

Loading...
Help
Sign in / Register

Project overview
Repository
Labels
- Labels
Merge requests 119
- Merge requests 119
CI/CD
Operations
Analytics
Snippets
- Snippets
Members
- Members
Activity
Graph
Jobs
Commits

Collapse sidebar

nexedi
slapos
Merge requests
!1717

Merged

Created Jan 13, 2025 by Jérome Perrin @jeromeOwner

Version up some theia dependencies

Overview 5
Commits 7
Pipelines 2
Changes 7

Assignee

Assign to

Reviewer

Request review from

None

Milestone

None

Assign milestone

Time tracking

Source branch: feat/theia-version-up

GitLab Nexedi Edition | About GitLab | About Nexedi | 沪ICP备2021021310号-2 | 沪ICP备2021021310号-7