From da219f40f8d7ebdc37903725bd6317a5bdbfbbab Mon Sep 17 00:00:00 2001
From: Christian Clason <c.clason@uni-graz.at>
Date: Thu, 27 Aug 2026 12:00:23 +0200
Subject: [PATCH] chore: remove Zed editor config

Problem: Editor-specific settings should not be part of the global
repository. (Only config files that control standard tooling in order to
enforce, e.g., formatting policies are appropriate to commit -- and only
if covered by CI.)

Solution: Drop the Zed config files from the repo.
---
 .zed/settings.json | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 .zed/settings.json

diff --git a/.zed/settings.json b/.zed/settings.json
deleted file mode 100644
index 15f15d9a9..000000000
--- a/.zed/settings.json
+++ /dev/null
@@ -1,11 +0,0 @@
-{
-  "lsp": {
-    "rust-analyzer": {
-      "initialization_options": {
-        "cargo": {
-          "features": "all"
-        }
-      }
-    }
-  }
-}