Skip to content

preferences: improve category headers and leaf#8512

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom liorfr:masterSep 22, 2020
+52-7

Commits

Commits on Sep 17, 2020