Delete settings.json

This commit is contained in:
GHOSCHT 2020-08-09 00:32:04 +02:00 committed by GitHub
parent 32429ef655
commit 37d0a345ce
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +0,0 @@
{
"search.exclude": {
"build/": true,
"dist/": true
}
}