vscode settings

UniMath · Feb 12, 2025 · dc1c22e · dc1c22e
1 parent 72609d7
commit dc1c22e
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -101,8 +101,7 @@
     "editor.quickSuggestions": {
       "other": "on"
     },
-    "editor.autoClosingBrackets": "never",
-    "editor.defaultFormatter": "DavidAnson.vscode-markdownlint"
+    "editor.autoClosingBrackets": "never"
   },
 
   "[python]": {