2018-07-30 21:58:49 +03:00
|
|
|
// Place your settings in this file to overwrite default and user settings.
|
|
|
|
{
|
|
|
|
"files.exclude": {
|
2018-08-11 14:44:12 +03:00
|
|
|
"out": true
|
|
|
|
// "node_modules": true
|
2018-07-30 21:58:49 +03:00
|
|
|
},
|
|
|
|
"search.exclude": {
|
|
|
|
"out": true // set this to false to include "out" folder in search results
|
|
|
|
}
|
2018-08-11 14:44:12 +03:00
|
|
|
}
|