From d5b7dd3d9f1dd5f5bb8b1e3bf48e145007aff607 Mon Sep 17 00:00:00 2001 From: Seth Vargo Date: Wed, 2 Aug 2017 13:46:03 -0400 Subject: [PATCH] Rename GNUMakefile to Makefile (#3348) --- GNUmakefile => Makefile | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename GNUmakefile => Makefile (100%) diff --git a/GNUmakefile b/Makefile similarity index 100% rename from GNUmakefile rename to Makefile