From 38c4f5bcb6b62a31d9d76b5925da145f03656ebc Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Thu, 17 Sep 2015 14:13:01 +0200
Subject: [PATCH] renamed to 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