| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-02-06 | allow additional makefiles to be included via the new SETTINGS_MAKEFILES ↵ | /dev/humancontroller | |
| variable; reference GNUmakefile.local instead of Makefile.local | |||
| 2017-02-06 | rename the Makefile to GNUmakefile | /dev/humancontroller | |
| because it uses GNU Make extensions also update the .gitignore appropriately | |||
