Skip to content

Added preferences for shell & shell arguments#7660

Merged
akosyakov merged 1 commit intoeclipse-theia:masterfrom owlJaeger:masterApr 29, 2020

Commits

Commits on Apr 29, 2020