From 343b5b4c4d8efa94ad24bd16b7c7138a86a5ba96 Mon Sep 17 00:00:00 2001
From: Ruben van de Ven <git@rubenvandeven.com>
Date: Fri, 20 Oct 2023 13:55:29 +0200
Subject: [PATCH] remove deprecated script

---
 run_server.py | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 run_server.py

diff --git a/run_server.py b/run_server.py
deleted file mode 100644
index e6db34c..0000000
--- a/run_server.py
+++ /dev/null
@@ -1,5 +0,0 @@
-from trap import plumber
-
-if __name__ == "__main__":
-    plumber.start()
-