|
extensions.json
|
fix #13121
|
2016-10-03 08:34:30 +02:00 |
|
launch.json
|
⚡ git: run status without buffering whole output
|
2017-04-18 17:16:20 +02:00 |
|
settings.json
|
enable tslint for our workspace
|
2017-05-18 11:42:04 +02:00 |
|
tasks.json
|
fixes #20344
|
2017-02-15 11:58:37 +01:00 |
