From c0944433bec1124439b7353cc1f1fa92930e6c79 Mon Sep 17 00:00:00 2001 From: proddy Date: Tue, 16 Mar 2021 17:41:42 +0100 Subject: [PATCH] remove workspace.code-workspace --- .gitignore | 7 +++---- workspace.code-workspace | 8 -------- 2 files changed, 3 insertions(+), 12 deletions(-) delete mode 100644 workspace.code-workspace diff --git a/.gitignore b/.gitignore index d14af01c9..911ede8c2 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,7 @@ # vscode .vscode +.directory +workspace.code-workspace # build build/ @@ -16,7 +18,6 @@ pio_local.ini # OS specific .DS_Store *Thumbs.db -.directory # project specfic /scripts/stackdmp.txt @@ -26,6 +27,4 @@ emsesp /interface/build /interface/node_modules /interface/.eslintcache -# /interface/package-lock.json # this file will be modified by npm! What can we do here? -package-lock.json -package.json + diff --git a/workspace.code-workspace b/workspace.code-workspace deleted file mode 100644 index 876a1499c..000000000 --- a/workspace.code-workspace +++ /dev/null @@ -1,8 +0,0 @@ -{ - "folders": [ - { - "path": "." - } - ], - "settings": {} -} \ No newline at end of file