1 files changed, 0 insertions, 3 deletions
diff --git a/Functions/randline b/Functions/randline
deleted file mode 100755
index 9af714fa2..000000000
--- a/Functions/randline
+++ /dev/null
@@ -1,3 +0,0 @@
-# get a random line from a file
-integer z=$(wc -l <$1)
-sed -n $[RANDOM%z+1]p $1