From 8b923064d52fc396c135051677b4d1dd0e2fcffc Mon Sep 17 00:00:00 2001 From: Guillaume Pellerin Date: Sun, 9 Sep 2007 21:29:21 +0000 Subject: [PATCH] Remove tools.py --- tools.py | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 tools.py diff --git a/tools.py b/tools.py deleted file mode 100755 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 - - - -- 2.39.5