Jeremy Zheng c274f74645 :wrench: merge vscode config files 1 rok pred
..
extensions.json c274f74645 :wrench: merge vscode config files 1 rok pred
settings.json c274f74645 :wrench: merge vscode config files 1 rok pred