Provide additional workspace API to add/remove workspace folders (for #35407)#36820

Merged

bpasero merged 9 commits intomasterfrom ben/35407

Oct 30, 2017

+118-10

Commits on Oct 24, 2017

Provide additional workspace API to add/remove workspace folders (for #35407 )
bpasero
committed

Commits on Oct 25, 2017

Commits on Oct 26, 2017

Commits on Oct 30, 2017