Support a config.local file#443

Closed

smowton wants to merge 1 commit intodiffblue:masterfrom

smowton:local_config

Commits on Jan 16, 2017

Support a config.local file, so it's easier to customise the build flags without annoying git
smowton
committed