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