From 2cceedd459956b181fb1f5cec6c532e8fa1081d0 Mon Sep 17 00:00:00 2001 From: Michael Schurter Date: Thu, 3 Aug 2017 09:23:53 -0700 Subject: [PATCH] Revert "Rename GNUMakefile to Makefile" This reverts commit 9f2ea92877ed655063a5ecf6bb22b7703bc2cea2. --- Makefile => GNUmakefile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename Makefile => GNUmakefile (100%) diff --git a/Makefile b/GNUmakefile similarity index 100% rename from Makefile rename to GNUmakefile