Skip to content

fix the workspace pref not being applied on change#5498

Merged
elaihau merged 2 commits intoeclipse-theia:masterfrom elaihau:ws_pref_fixJun 26, 2019

Commits

Commits on Jun 26, 2019