log Makefile @ 12:1926dfc9feb0 version-1.0.0

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