From 0b505353e737c9e3f395cf456d5aa55fa25fc3b3 Mon Sep 17 00:00:00 2001
From: Tomasz Bold <tomasz.bold@gmail.com>
Date: Tue, 3 Nov 2020 20:33:52 +0000
Subject: [PATCH] Undo vscode settings change

---
 .vscode/settings.json | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 9e064cbadf4..e1ebff53d0f 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -3,6 +3,5 @@
         "ms-vscode.cpptools",
         "twxs.cmake"
     ],
-    "remote.SSH.lockfilesInTmp": true,
-    "python.formatting.provider": "black"
+    "remote.SSH.lockfilesInTmp": true
 }
-- 
GitLab