From d73f2ff4341effc1232abbf4c4be0f034267508a Mon Sep 17 00:00:00 2001 From: Jeremy Kemper Date: Wed, 27 May 2009 01:11:33 -0500 Subject: [PATCH] Rename tools/profile_requires -> tools/profile since we do both require and ruby-prof profiling. --- tools/{profile_requires => profile} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/{profile_requires => profile} (100%) diff --git a/tools/profile_requires b/tools/profile similarity index 100% rename from tools/profile_requires rename to tools/profile -- GitLab