From 4541bf611508565610a99f8036b3d49009a52518 Mon Sep 17 00:00:00 2001
From: Jonas Gunz <himself@jonasgunz.de>
Date: Thu, 8 Oct 2020 02:44:11 +0200
Subject: runner unused function

---
 runner.sh | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/runner.sh b/runner.sh
index e651c5d..8479159 100755
--- a/runner.sh
+++ b/runner.sh
@@ -71,12 +71,6 @@ function fail() {
 	exit 1
 }
 
-function stdin_redirector(){
-	while [ -p stdin ]; do
-		cat stdin
-	done
-}
-
 [ -e settings.sh ] && source settings.sh \
 	|| >&2 echo "WARNING: settings.sh not found."
 # settings.sh
-- 
cgit v1.2.3