From 0cb458e64dbeec70a153f254bcf01e94748af734 Mon Sep 17 00:00:00 2001
From: "Dr. Martin Goik" <goik@hdm-stuttgart.de>
Date: Wed, 3 Oct 2018 23:55:12 +0200
Subject: [PATCH] Allow for Makefile to be tweaked

---
 .gitignore              | 3 ++-
 Makefile => Makefile.in | 0
 2 files changed, 2 insertions(+), 1 deletion(-)
 rename Makefile => Makefile.in (100%)

diff --git a/.gitignore b/.gitignore
index 216936d70..32eeed3e4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
+Makefile
 *~
 target
 .project
-.settings
\ No newline at end of file
+.settings
diff --git a/Makefile b/Makefile.in
similarity index 100%
rename from Makefile
rename to Makefile.in
-- 
GitLab