From 0066d8168f3a02fa3a1d789908bb3c465791445f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Laure=CE=B7t?= Date: Sat, 20 Jul 2024 17:01:17 +0200 Subject: [PATCH] remove now useless .vscode settings --- .vscode/settings.json | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 .vscode/settings.json diff --git a/.vscode/settings.json b/.vscode/settings.json deleted file mode 100644 index 7948441..0000000 --- a/.vscode/settings.json +++ /dev/null @@ -1,4 +0,0 @@ -{ - "julia.useRevise": true, - "julia.persistentSession.enabled": true, -} \ No newline at end of file