From 1c81c9f7acfb71a7436b717680a84a0afb3c2987 Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Thu, 22 Oct 2015 09:18:26 +0200
Subject: [PATCH] make windows happy

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