Skip to content

navigator: handle empty multi-root workspace#8608

Merged
paul-marechal merged 1 commit intomasterfrom mp/close-multi-rootOct 14, 2020

Commits

Commits on Oct 14, 2020