fix jsoo_refmt_main + delete playground folder#4395
Merged
bobzhang merged 1 commit intorescript-lang:masterfrom May 17, 2020 
jchavarri:fix-jsoo-remt
Merged
fix jsoo_refmt_main + delete playground folder#4395bobzhang merged 1 commit intorescript-lang:masterfrom jchavarri:fix-jsoo-remt
bobzhang merged 1 commit intorescript-lang:masterfrom 
jchavarri:fix-jsoo-remt