From f6f2765ab9bc59ae2c263dcf70f71c0d615dc1ed Mon Sep 17 00:00:00 2001 From: Dave Halter Date: Fri, 31 Mar 2017 17:27:16 +0200 Subject: [PATCH] Rename the profile script to profile_output to avoid name clashes with the stdlibs profile.py. --- scripts/{profile.py => profile_output.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename scripts/{profile.py => profile_output.py} (100%) diff --git a/scripts/profile.py b/scripts/profile_output.py similarity index 100% rename from scripts/profile.py rename to scripts/profile_output.py