Remove .desktop from ini extention

Fixes #74866
This commit is contained in:
Alex Ross 2019-06-05 16:08:26 +02:00
parent f3e4e47164
commit 2472084ffc

View file

@ -17,7 +17,7 @@
}, },
{ {
"id": "properties", "id": "properties",
"extensions": [ ".properties", ".cfg", ".conf", ".desktop", ".directory" ], "extensions": [ ".properties", ".cfg", ".conf", ".directory" ],
"filenames": [ ".gitattributes", ".gitconfig", "gitconfig", ".editorconfig" ], "filenames": [ ".gitattributes", ".gitconfig", "gitconfig", ".editorconfig" ],
"filenamePatterns": [ "**/.config/git/config", "**/.git/config" ], "filenamePatterns": [ "**/.config/git/config", "**/.git/config" ],
"aliases": [ "Properties", "properties" ], "aliases": [ "Properties", "properties" ],