feat: add vscode extensions.json

F-star · Mar 1, 2024 · 325acf5 · 325acf5
1 parent 6e9950c
commit 325acf5
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.vscode/extensions.json b/.vscode/extensions.json
@@ -0,0 +1,7 @@
+{
+  "recommendations": [
+    "streetsidesoftware.code-spell-checker",
+    "dbaeumer.vscode-eslint",
+    "esbenp.prettier-vscode"
+  ]
+}