From 94c6045dd99f2c09a3a26a492a60c9f21a1dcd25 Mon Sep 17 00:00:00 2001
From: raguirref <ricardoaguirredelafuente@gmail.com>
Date: Wed, 8 Apr 2026 11:30:31 -0600
Subject: [PATCH] :fire: Remove accidental dev_server.pid

Remove unrelated local pid file that was accidentally included in previous commit.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Signed-off-by: raguirref <ricardoaguirredelafuente@gmail.com>
---
 dev_server.pid | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 dev_server.pid

diff --git a/dev_server.pid b/dev_server.pid
deleted file mode 100644
index a8cd695ffa..0000000000
--- a/dev_server.pid
+++ /dev/null
@@ -1 +0,0 @@
-31390