log

age author description
Tue, 06 Aug 2019 11:21:04 +0200 Guido Berhoerster Try to use $HOME for the user's home directory
Wed, 31 Jul 2019 11:21:54 +0200 Guido Berhoerster Allow local makefile overrides in local.mk