Skip to content

about: enhancement to use application name in title#7135

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom Anasshahidd21:menuHeaderFixFeb 13, 2020

Commits

Commits on Feb 13, 2020