2022-09-03 13:15:34 +02:00
|
|
|
{
|
|
|
|
|
"search.exclude": {
|
|
|
|
|
"dist/*": true,
|
2022-09-12 15:39:39 +02:00
|
|
|
"node_modules/*": true,
|
|
|
|
|
"types": true,
|
|
|
|
|
"typedoc": true,
|
2022-09-03 13:15:34 +02:00
|
|
|
},
|
|
|
|
|
"search.useGlobalIgnoreFiles": true,
|
|
|
|
|
"search.useParentIgnoreFiles": true
|
2022-09-12 15:39:39 +02:00
|
|
|
}
|
