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,
|
|
|
|
|
"**/bower_components": true,
|
|
|
|
|
"out": true,
|
|
|
|
|
"typings": true
|
2017-03-20 11:42:28 +01:00
|
|
|
},
|
2019-02-08 13:02:27 +01:00
|
|
|
"typescript.tsdk": "./node_modules/typescript/lib"
|
2016-01-28 20:05:09 +01:00
|
|
|
}
|
