diff options
| author | /dev/humancontroller <devhc@example.com> | 2017-02-06 17:31:44 +0100 |
|---|---|---|
| committer | /dev/humancontroller <devhc@example.com> | 2017-02-06 17:45:28 +0100 |
| commit | bb3a26d68c48eab79bbb3bb283c11a348413238c (patch) | |
| tree | 0f600a13e1b5ccce564c469cde0ac850816687e3 | |
| parent | 40e72e5d6ac236fa1169f3acbe519abf6430391f (diff) | |
rename the Makefile to GNUmakefile
because it uses GNU Make extensions
also update the .gitignore appropriately
| -rw-r--r-- | .gitignore | 2 | ||||
| -rw-r--r-- | GNUmakefile (renamed from Makefile) | 0 |
2 files changed, 1 insertions, 1 deletions
@@ -1,2 +1,2 @@ /build -/Makefile.local +/GNUmakefile.local |