Skip to content

incorrect preference value for editor.renderWhitespace fixed typo#10317

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom yashsoni369:masterOct 22, 2021

Commits

Commits on Oct 22, 2021