Remove tools.py

diff --git a/tools.py b/tools.py
deleted file mode 100755 (executable)
index 98c038b..0000000
--- a/tools.py
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/python
-
-import sys, os, random
-
-def randrange(start, stop):
-       values = range(start, stop)
-       random.shuffle(values)
-       while values:
-               yield values.pop()
-       raise StopIteration
-
-
-