2015-11-22 01:48:40 -05:00
|
|
|
// Place your settings in this file to overwrite default and user settings.
|
|
|
|
|
{
|
|
|
|
|
"files.exclude": {
|
|
|
|
|
"**/.git": true,
|
|
|
|
|
"**/.DS_Store": true,
|
2016-05-17 22:55:57 -04:00
|
|
|
"**/*/vsix": true,
|
2015-11-22 01:48:40 -05:00
|
|
|
"**/*.js": {"when": "$(basename).ts"}
|
|
|
|
|
}
|
2016-12-19 17:39:53 -05:00
|
|
|
,
|
|
|
|
|
"typescript.tsdk": "./node_modules/typescript/lib"
|
2015-11-22 01:48:40 -05:00
|
|
|
}
|
