Slavi Pantaleev 1692a28fe4 Work around annoying Docker warning about undefined $HOME ... > WARNING: Error loading config file: .dockercfg: $HOME is not defined .. which appeared in Docker 20.10.		2021-01-15 00:23:01 +02:00
..
defaults	Move self-building git repository URLs to variables (stop hardcoding)	2020-11-28 21:34:14 +02:00
tasks	Replace cronjobs with systemd timers	2021-01-14 23:35:50 +02:00
templates	Work around annoying Docker warning about undefined $HOME	2021-01-15 00:23:01 +02:00