Skip to content

vscode support of editor.indentSize#13105

Merged
tsmaeder merged 1 commit intoeclipse-theia:masterfrom eclipsesource:issues/13058Nov 29, 2023

Commits

Commits on Nov 29, 2023