summaryrefslogtreecommitdiff
path: root/GNUmakefile
AgeCommit message (Collapse)Author
2017-04-15rename the Makefile to GNUmakefile, and reference GNUmakefile.local instead ↵/dev/humancontroller
of Makefile.local because the Makefile uses GNU Make extensions