From 4bb73b59c2d91b1be4d706de270c85d47eb3ad89 Mon Sep 17 00:00:00 2001 From: Steve Schnepp Date: Wed, 27 Feb 2013 10:05:52 +0100 Subject: [PATCH] profiling: remove ext to dump_node --- tools/profiling/{dump_node.sh => dump_node} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename tools/profiling/{dump_node.sh => dump_node} (100%) mode change 100644 => 100755 diff --git a/tools/profiling/dump_node.sh b/tools/profiling/dump_node old mode 100644 new mode 100755 similarity index 100% rename from tools/profiling/dump_node.sh rename to tools/profiling/dump_node