This repository has been archived by the owner on Jul 15, 2023. It is now read-only.
Handle "open workspace settings" properly #1374#1375
Merged
ramya-rao-a merged 1 commit intomicrosoft:masterfrom theia-ide:jk/gh1374Nov 27, 2017
+3-3
