Merge pull request #96080 from johnbillion/fix/gitignore_global

Treat `.gitignore_global` as an Ignore file by default.
This commit is contained in:
João Moreno
2020-04-27 15:58:23 +02:00
committed by GitHub

View File

@@ -1789,6 +1789,7 @@
"ignore"
],
"filenames": [
".gitignore_global",
".gitignore"
],
"configuration": "./languages/ignore.language-configuration.json"