log Makefile @ 19:0bd16b428fc0

age author description
Wed, 31 Jul 2019 11:21:59 +0200 Guido Berhoerster Allow local makefile overrides in local.mk