From 2472084ffcc3a13c0c139e5e6311b01a4531d559 Mon Sep 17 00:00:00 2001 From: Alex Ross Date: Wed, 5 Jun 2019 16:08:26 +0200 Subject: [PATCH] Remove .desktop from ini extention Fixes #74866 --- extensions/ini/package.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/ini/package.json b/extensions/ini/package.json index aa679eb886d..b439b4c6701 100644 --- a/extensions/ini/package.json +++ b/extensions/ini/package.json @@ -17,7 +17,7 @@ }, { "id": "properties", - "extensions": [ ".properties", ".cfg", ".conf", ".desktop", ".directory" ], + "extensions": [ ".properties", ".cfg", ".conf", ".directory" ], "filenames": [ ".gitattributes", ".gitconfig", "gitconfig", ".editorconfig" ], "filenamePatterns": [ "**/.config/git/config", "**/.git/config" ], "aliases": [ "Properties", "properties" ],