From 142e875fb2e8305a9eb7d1588445847628c51588 Mon Sep 17 00:00:00 2001 From: Martin Grosche Date: Mon, 4 Dec 2023 11:54:59 +0100 Subject: [PATCH] Delete ide settings (#35) --- .vscode/settings.json | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100644 .vscode/settings.json diff --git a/.vscode/settings.json b/.vscode/settings.json deleted file mode 100644 index a0c668b..0000000 --- a/.vscode/settings.json +++ /dev/null @@ -1,20 +0,0 @@ -{ - "files.insertFinalNewline": true, - "files.trimFinalNewlines": true, - "files.trimTrailingWhitespace": true, - "editor.tabSize": 4, - "editor.insertSpaces": true, - "editor.detectIndentation": false, - "editor.formatOnSave": true, - "editor.renderWhitespace": "boundary", - "editor.rulers": [ - 120 - ], - "[markdown]": { - "editor.wordWrap": "wordWrapColumn", - "editor.wordWrapColumn": 120 - }, - "[yaml]": { - "editor.tabSize": 2 - } -}