Skip to content

[explorer]: Badge count for dirty editors#8316

Merged
vince-fugnitto merged 1 commit intoeclipse-theia:masterfrom Anasshahidd21:dirtyEditorsAug 10, 2020

Commits

Commits on Aug 10, 2020