From 615d3fa4d0705d1a4dd3dd203f7738fe531dacda Mon Sep 17 00:00:00 2001
From: Florian Dold <florian@dold.me>
Date: Wed, 25 Nov 2020 16:41:58 +0100
Subject: [PATCH] editor config

---
 .vscode/extensions.json | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 .vscode/extensions.json

diff --git a/.vscode/extensions.json b/.vscode/extensions.json
new file mode 100644
index 000000000..1663a7914
--- /dev/null
+++ b/.vscode/extensions.json
@@ -0,0 +1,13 @@
+{
+	// See https://go.microsoft.com/fwlink/?LinkId=827846 to learn about workspace recommendations.
+	// Extension identifier format: ${publisher}.${name}. Example: vscode.csharp
+
+	// List of extensions which should be recommended for users of this workspace.
+	"recommendations": [
+		"esbenp.prettier-vscode"
+	],
+	// List of extensions recommended by VS Code that should not be recommended for users of this workspace.
+	"unwantedRecommendations": [
+		
+	]
+}
\ No newline at end of file