Use gitignore for ignoring files in search

This commit is contained in:
Robin van der Linde 2022-07-06 12:58:28 +00:00 committed by GitHub
parent 063d7e4637
commit 9e3f89b874

View file

@ -16,5 +16,6 @@
} }
], ],
"editor.tabSize": 2, "editor.tabSize": 2,
"files.autoSave": "onFocusChange" "files.autoSave": "onFocusChange",
"search.useIgnoreFiles": true
} }