From ce5a36589d9b13ec810e5017699ddd0db0eef153 Mon Sep 17 00:00:00 2001 From: Alexander Pankoff Date: Fri, 3 Dec 2021 12:18:10 +0100 Subject: Remove vscode settings from repo This folder is in our .gitignore and should not be checked into this repository. Having this in the repo will affect everyone using vs code which might be annoying for contributors who don't like the settings. --- .vscode/settings.json | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 .vscode/settings.json diff --git a/.vscode/settings.json b/.vscode/settings.json deleted file mode 100644 index f3364b9ae0..0000000000 --- a/.vscode/settings.json +++ /dev/null @@ -1,8 +0,0 @@ -{ - "editor.rulers": [ - 72,80,120,132 - ], - "files.associations": { - "valarray": "c" - } -} \ No newline at end of file -- cgit