From b4aa4ca530ad2a77bcecb51eff618949fb19b9d1 Mon Sep 17 00:00:00 2001 From: rubenwardy Date: Sun, 19 Oct 2014 19:16:18 +0100 Subject: [PATCH] Correct name of makefile --- makefile => Makefile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename makefile => Makefile (100%) diff --git a/makefile b/Makefile similarity index 100% rename from makefile rename to Makefile