Joao Moreno 6146b9739a ⚡ git: run status without buffering whole output		2017-04-18 17:16:20 +02:00
..
extensions.json
launch.json	⚡ git: run status without buffering whole output	2017-04-18 17:16:20 +02:00
settings.json	remove the tsdk from the workspace setting	2017-01-25 12:18:12 +01:00
tasks.json	fixes #20344	2017-02-15 11:58:37 +01:00