remove deprecated script

2023-10-20 13:55:29 +02:00 · 2023-10-20 13:55:29 +02:00 · 343b5b4c4d
parent 06c5bde997
commit 343b5b4c4d
1 changed files with 0 additions and 5 deletions
--- a/run_server.py
+++ b/run_server.py
@ -1,5 +0,0 @@
-from trap import plumber
-
-if __name__ == "__main__":
-    plumber.start()
-