contrapunctus/MapComplete
1
0
Fork 0
forked from MapComplete/MapComplete
Code Pull requests Activity

Merge pull request #931 from pietervdvn/search-ignore

Browse source 
Use gitignore for ignoring files in search
This commit is contained in:
Pieter Vander Vennet 2022-07-06 15:59:48 +02:00 • committed by GitHub
commit 0ba1416a99
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
.vscode/settings.json vendored
View file

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