From f4c5eecaab764fd497d26966596f9f7d0654af5a Mon Sep 17 00:00:00 2001 From: fajfaj1 <97434565+fajfaj1@users.noreply.github.com> Date: Fri, 20 Oct 2023 23:44:40 +0200 Subject: [PATCH] .vscode --- .vscode/extensions.json | 5 ----- .vscode/settings.json | 9 --------- 2 files changed, 14 deletions(-) delete mode 100644 .vscode/extensions.json delete mode 100644 .vscode/settings.json diff --git a/.vscode/extensions.json b/.vscode/extensions.json deleted file mode 100644 index 38e41d7..0000000 --- a/.vscode/extensions.json +++ /dev/null @@ -1,5 +0,0 @@ -{ - "recommendations": [ - "fajfaj.ccbot" - ] -} \ No newline at end of file diff --git a/.vscode/settings.json b/.vscode/settings.json deleted file mode 100644 index 1e7c2ea..0000000 --- a/.vscode/settings.json +++ /dev/null @@ -1,9 +0,0 @@ -{ - "spellright.language": [ - "en" - ], - "spellright.documentTypes": [ - "latex", - "plaintext" - ] -} \ No newline at end of file