diff Makefile @ 35:2a8298bafec2

Try to use $HOME for the user's home directory
author Guido Berhoerster <guido+pwm@berhoerster.name>
date Tue, 06 Aug 2019 11:21:04 +0200
parents 34ada71ff3e5
children f9501248b6bd
line wrap: on
line diff