From 8cc414162d73f013ca138a433330025bf6fc6680 Mon Sep 17 00:00:00 2001 From: Edoardo Batini Date: Sat, 16 Apr 2011 20:55:05 +0200 Subject: [PATCH] move dumb benchmark to new tools folder --- benchmark.py => tools/benchmark.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename benchmark.py => tools/benchmark.py (100%) diff --git a/benchmark.py b/tools/benchmark.py similarity index 100% rename from benchmark.py rename to tools/benchmark.py