From e51746243a02f7b39367b760d4b716621eb3d26f Mon Sep 17 00:00:00 2001 From: gered Date: Wed, 12 Dec 2012 15:18:16 -0500 Subject: [PATCH] rename generate_makefile script --- generate_makefile.sh => generate_makefile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename generate_makefile.sh => generate_makefile (100%) diff --git a/generate_makefile.sh b/generate_makefile similarity index 100% rename from generate_makefile.sh rename to generate_makefile