Skip to content
Snippets Groups Projects
Commit 0a7f1b9b authored by Alex's avatar Alex
Browse files

fix: rm old theia dependency

parent dbd873c8
No related branches found
No related tags found
No related merge requests found
Pipeline #14174 passed
Stage: build