From d871e659c0dbf546bc398124a179adfc56b5a619 Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Wed, 26 Aug 2015 14:34:52 +0200
Subject: [PATCH] makefile renamed for happy Windows

---
 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