Skip to content

Remove Theia settings and point to Code image#5511

Merged
roboquat merged 1 commit intomainfrom laushinka/remove-theia-option-in-4486Sep 3, 2021
+11-25

Commits

Commits on Sep 3, 2021