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 /misc/GPL | |
| parent | 40e72e5d6ac236fa1169f3acbe519abf6430391f (diff) | |
rename the Makefile to GNUmakefile
because it uses GNU Make extensions
also update the .gitignore appropriately
Diffstat (limited to 'misc/GPL')
0 files changed, 0 insertions, 0 deletions