Skip to content

fix: Remove invasive split terminal action#12358

Merged
tsmaeder merged 1 commit intoeclipse-theia:masterfrom eclipsesource:rs/split-terminalMar 29, 2023

Commits

Commits on Mar 29, 2023