Merge pull request #103326 from NotWearingPants/patch-2

Treat all files with `git{config,attributes,modules}`/`editorconfig` extensions as properties files
This commit is contained in:
João Moreno 2020-07-30 10:46:15 +02:00 committed by GitHub
commit 211fe2fcff
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -18,8 +18,8 @@
},
{
"id": "properties",
"extensions": [ ".properties", ".cfg", ".conf", ".directory" ],
"filenames": [ ".gitattributes", ".gitconfig", "gitconfig", ".gitmodules", ".editorconfig" ],
"extensions": [ ".properties", ".cfg", ".conf", ".directory", ".gitattributes", ".gitconfig", ".gitmodules", ".editorconfig" ],
"filenames": [ "gitconfig" ],
"filenamePatterns": [ "**/.config/git/config", "**/.git/config" ],
"aliases": [ "Properties", "properties" ],
"configuration": "./properties.language-configuration.json"