From 6e693fa5a3cda648ebafbbeb7eda44d0d75e00e8 Mon Sep 17 00:00:00 2001
From: Mathieu Dutour <mathieu@dutour.me>
Date: Wed, 2 Dec 2020 12:19:04 +0100
Subject: [PATCH] fix lint

---
 .vscode/settings.json | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 6795f311a..a4a7f262d 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -38,12 +38,6 @@
     "typescript",
     "typescriptreact"
   ],
-  "spellright.language": [
-    "en"
-  ],
-  "spellright.documentTypes": [
-    "markdown",
-    "latex",
-    "plaintext"
-  ]
+  "spellright.language": ["en"],
+  "spellright.documentTypes": ["markdown", "latex", "plaintext"]
 }