From b657f8a45502e69433eb186c5f814e307fc41574 Mon Sep 17 00:00:00 2001 From: "Heiko Schlittermann (HS12-RIPE)" Date: Tue, 1 Nov 2016 22:59:59 +0100 Subject: [PATCH 1/1] Rename Makefile to GNUmakefile --- 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 -- 2.30.2