From 21aaa4f3a9ab41fc662857e779c7d44da367c58f Mon Sep 17 00:00:00 2001
From: Jon Doe <john@bugmenot.com>
Date: Tue, 22 Sep 2020 20:36:20 +0200
Subject: [PATCH] that was never a good idea

---
 plugins/STDIO/Plugin.hs | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 plugins/STDIO/Plugin.hs

diff --git a/plugins/STDIO/Plugin.hs b/plugins/STDIO/Plugin.hs
deleted file mode 100644
index 84bfe84..0000000
--- a/plugins/STDIO/Plugin.hs
+++ /dev/null
@@ -1 +0,0 @@
-main = putStrLn "HELLO WORLD"