From 06c85732ee9641ceeb62539d083254022b9a0f80 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laure=CE=B7t?= Date: Fri, 6 Oct 2023 13:37:11 +0000 Subject: [PATCH] =?UTF-8?q?=F0=9F=94=A7=20(vscode)=20disable=20julia=20REP?= =?UTF-8?q?L=20persistentSession?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .vscode/settings.json | 1 - 1 file changed, 1 deletion(-) diff --git a/.vscode/settings.json b/.vscode/settings.json index fc0c5a1..aaca7ed 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,5 +1,4 @@ { "julia.useRevise": true, - "julia.persistentSession.enabled": true, "editor.unicodeHighlight.ambiguousCharacters": false, } \ No newline at end of file