From a0dee757eb8e11bde79e11cb32c238e76815d760 Mon Sep 17 00:00:00 2001
From: "Frank T. Bergmann" <frank.thomas.bergmann@gmail.com>
Date: Wed, 9 Oct 2024 09:30:21 +0200
Subject: [PATCH]  - this should not have been in the PR

---
 .vscode/settings.json | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 .vscode/settings.json

diff --git a/.vscode/settings.json b/.vscode/settings.json
deleted file mode 100644
index 44fd37c1e..000000000
--- a/.vscode/settings.json
+++ /dev/null
@@ -1,5 +0,0 @@
-{
-    "githubPullRequests.ignoredPullRequestBranches": [
-        "development"
-    ]
-}
\ No newline at end of file