Remove redundant extension recommendations

NicoVIII · Feb 24, 2022 · 8d3903b · 8d3903b
1 parent 511f77c
commit 8d3903b
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/.vscode/extensions.json b/.vscode/extensions.json
@@ -5,14 +5,6 @@
     "recommendations": [
         // Container
         "ms-vscode-remote.remote-containers",
-        // Language
-        "ms-dotnettools.csharp",
-        "ionide.ionide-fsharp",
-        // Coding style
-        "editorconfig.editorconfig",
-        // Highlighting
-        "aaron-bond.better-comments",
-        "ybaumes.highlight-trailing-white-spaces"
     ],
     // List of extensions recommended by VS Code that should not be recommended for users of this workspace.
     "unwantedRecommendations": []