🔥 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>
This commit is contained in:
raguirref 2026-04-08 11:30:31 -06:00 committed by Andrey Antukh
parent f656266e5c
commit 94c6045dd9

View File

@ -1 +0,0 @@
31390