log Makefile @ 112:cf31bf5fce72 default tip

age author description
Wed, 13 Feb 2019 03:20:01 +0100 Dirk Olmes remove unused Make variable