From 989cea713d00a469086ec06dd751f501f23d4106 Mon Sep 17 00:00:00 2001 From: Justin Otherguy Date: Tue, 28 Dec 2010 01:37:10 +0100 Subject: [PATCH] re-renamed shell-script, updated path --- misc/tools/{install => install.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename misc/tools/{install => install.sh} (100%) diff --git a/misc/tools/install b/misc/tools/install.sh similarity index 100% rename from misc/tools/install rename to misc/tools/install.sh