Skip to content

Open editors widget in navigator#9284

Merged
kenneth-marut-work merged 1 commit intoeclipse-theia:masterfrom kenneth-marut-work:feature/open-editors-widgetJul 21, 2021

Commits

Commits on Jul 20, 2021