From bb3a26d68c48eab79bbb3bb283c11a348413238c Mon Sep 17 00:00:00 2001 From: /dev/humancontroller Date: Mon, 6 Feb 2017 17:31:44 +0100 Subject: rename the Makefile to GNUmakefile because it uses GNU Make extensions also update the .gitignore appropriately --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index e5f58573..e2bfd5d3 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,2 @@ /build -/Makefile.local +/GNUmakefile.local -- cgit