2016-01-28 20:05:09 +01:00
|
|
|
// Place your settings in this file to overwrite default and user settings.
|
|
|
|
|
{
|
2016-09-19 12:25:48 +02:00
|
|
|
"editor.insertSpaces": false,
|
|
|
|
|
"search.exclude": {
|
|
|
|
|
"**/node_modules": true,
|
2019-04-12 16:42:09 +02:00
|
|
|
"out": true
|
2017-03-20 11:42:28 +01:00
|
|
|
},
|
2019-02-26 12:58:05 +01:00
|
|
|
"typescript.tsdk": "./node_modules/typescript/lib",
|
|
|
|
|
"mochaExplorer.files": "out/**/test/*.test.js"
|
2016-01-28 20:05:09 +01:00
|
|
|
}
|
